It appears this has fallen under the radar. To perhaps clarify the intent of this patch, it fixes the bug, where GNOME Terminal and other stuff that relies on the Monospace font being defined appears quite ugly with the default settings. Regards, Leo