Post History

This isn't exactly what you asked, but the letters-too-small problem could also be solved by using a larger console font.

Here is [a decent overview of how to change console fonts](https://www.linux.com/topic/desktop/how-change-your-linux-console-fonts/), though I don't know which of the `console-setup` and the `vconsole.conf` approaches is correct for your distribution.