Also, the 8x16 font at 80x25 is *not* a square pixel aspect ratio.
As a result, it now stays "proper", which is likely not what you
want.

This was discovered when I was trying to make DigitalMan happy
because he wanted the apsect ratio retained on scaling.

Sorry for the impending imminent scaling hassle DigitalMan!