Comment by rinich

The argument I put forward (and I completely respect people that disagree with it) is that yes, it's okay to let somebody else control the clock font, because the clock font doesn't matter. I'd rather not have the choice to change it, because I've got twitchy fingers and am terribly good at procrastination.