Tweaking

The problem is that if somebody speaks positively of gnome, everyone else assumes they are in charge and believes, 'oh that is set in stone' I better complain instead of scratching that itch.

I actually disagree with the reasoning too (bad eyesight), but I also know how to change the value. The sad thing is I can count _7_ replies bashing on this as if it is an official mandate.

Of course there is going to be font change dialog (the setting just isn't presented in any gui), just as easy theming (prepackaged) will happen because it is cool and somebody will actually contribute.

It just has to be made, accepting that the first approach you try might get frown upon, just like linux....