[bigato]

You can change the font in plan9port, you know? The default font looks terrible indeed.

[hollerith]

you can change the font, but when I tried that, the text still looked very different from the same font at the same text size in, e.g., Terminal.app.