2022-12-28 UTC
# 
M0x3b0b[m] Ah, system font! Good point. I'm running Arch Linux and...uh...hm, what font is that, anyhow? I keep wrestling with my system over the fact that all default fonts should be monospace and it has peculiar results sometimes.