[layer8]

Mensch presumably is this font: https://robey.lag.net/2010/06/21/mensch-font.html

I’ll have to try it. I’m still using Lucida Console because most newer fonts lack hinting for smaller sizes.

[huhtenberg]

Yes, that's the one. It's overall fantastic.

As far as 8px fonts go, there's also Dina, which is very similar, but with a pixelated look even though it's a TTF.

https://github.com/zshoals/Dina-Font-TTF-Remastered