Comment by woodruffw

This looks very nice. I've used Latin Modern Mono[1] as my monospace font for a decade, but this is seriously making my consider a switch!

[1]: https://www.fontsquirrel.com/fonts/latin-modern-mono