@robpike Now, that is one case where the pronunciation being different from what is written makes some sense at least.