Board Thread:General Discussion/@comment-23.122.217.39-20150626042307/@comment-6986530-20150716033315

Seems we have no choice but to change it.

The actual name is not intended to be pronounced like the German "ein" and keeping it spelled that way is just giving people the impression that it is--I've seen a couple people making an "his name is literally 'an anchor'" jokes that are technically incorrect, and now we have a precedent as proof of how it's supposed to be spelled.