Interesting, got font I never even heard of: DM Mono. I guess I’ll try it. Besides no proprietary fonts (I use Cascadia Code currently… actually this is also o

Interesting, got font I never even heard of: DM Mono. I guess I’ll try it. Besides no proprietary fonts (I use Cascadia Code currently… actually this is also open, maybe only google font fonts?), some other things I wish were different: 1. Some alternative to the one-strike tournament. I got Space Mono vs Oxygen Mono in the first round, and liked both of those a lot more than most others. Oxygen won, but Space would have won against most other fonts. 2. Independent sizes. I don’t like tiny fonts (HN is at 220% zoom for me), some of these fonts are very small, so to properly compare e.g. Inconsolata with most other fonts, I’d have Inconsolata at 18 while my default was 17.