This is to be used as self-documentation code, so that people know
how to hack the font size since I am not sure GIMP will always provide
reasonable font display on every platform.
Since we have many themes now, this new name better indicates that it
is meant to follow your desktop theme settings.
Also it will likely not remain the default theme.