Hacker News Reader

Tokio is a different (masculine) name in Japanese, pronounced quite differently. /tokʲio/ vs. /to̞ːkʲo̞ː/.

We are talking about the spelling centuries ago, when the romanisation were less standardised