Comment by bla2

As a German, I disagree with you. German's not English, even though you might prefer if it was. Others don't. It's fine that it uses the letters it ended up with historically. This change fixes an internal inconsistency, your reply seems fairly irrelevant. It feels like replying to some bugfix in, say, Ruby with something like "I never liked Ruby anyhow".