[throwaway7281]

I'm sorry for the circumstances.

I just want to note one thing: any large community will have aspect (sometimes many) that many people will not like. That's not personal, it's just statistics. And when someone (Go team, Stack overflow a few years back, ...) appears heavy-handed, try to imagine to herd hundred-thousand creative, intelligent spirits - that's an impossible task. If you complain about the font (and others did, too) than either ask yourself, whether the stress of conflict is worth it - or leave the matter - or the community - for good.