I used to work in my mom and dad's print shop when I was a kid. 6 picas in an inch, 12 points in a pica, and by the time you go home your hands smell like hypo. That should give you an idea of how old I am.

For a kid I was passably good at setting up headlines for paste-up, but I never had to be the one who used an X-Acto Knife.

I'll die on the hill where 2K is better than 4K if your livelihood depends on having to stare at a screen at a distance of 60cm for upwards of 10 hours a day, longer sometimes.

I also think you missed my point about about the anti-aliasing. For various reasons I still use Windows and some of my favorite monospace fonts only exist in the the .FON format. I can emulate the X-Windows experience of using the misc-fixed-medium family and it works just fine for my needs.

I've tried most of the fonts here, but none of them really do it for me: https://www.nerdfonts.com/font-downloads

But if you want to keep going on with the pedantry, have at it. Were you around in the Usenet days?