2026-01-07 UTC
# 
[rose] If you DO want a smaller font... https://codewordcreative.com/better-fonts/. I don't spell it out because that'd be redistribution, but you can simply look at the files on the page to grab a font pre-subset for English.