Aha! Thanks, jheem--now when any of us get called down for spelling, we can just say, "Sorry if you don't like it, but it's an orthographic convention".