I have a vague feeling this is a silly question, but I found the answer
nowhere in the FAQs...
how do I set fancy 100x50, 132x43, 80x30, etc text modes?
Ideally I would go for a 100x37 text mode, which is the best I could display
using 8x16 fonts. I'm sure there are utilities already written to do that,
but I could find none.