Hylke wrote about installing fonts in GNOME and how there isn’t an easy way to do this at the moment. Since his suggestion was so simple, I got out my editor and spent this evening hacking. It’s feature freeze tomorrow, so I’ve pushed the changes into master and any testing would be greatly appreciated!
There are probably a few tweaks to be made to padding, etc. Hopefully I can also work out how to get the word wrapping/scrolling they way it needs to be without resorting to fixed sizing (it’s not as simple as you might think).