On Sun, 5 Jun 2022, Reinoud Zandijk wrote:
Could switching to the big fonts be an option?
With both fonts compiled in you can switch between them using: wsconsctl -dw font='Boldface 16x32' wsconsctl -dw font=Boldface -RVP