Thanks for the help, you two. I probably will just contact the author, and if I don't get a response, try the mailing list.
As a bit of an aside, looking on Wikipedia gave me a thought: this OS is inspired by GEOS, and the font looks pretty similar to one I am seeing in screenshots of that… I...