The font is changed yet again. Hopefully this improves legibility somewhat, though it’s still not ideal, or even especially good. I have to make a new font someday!