Posting a thread about fonts on Hacker News, to me, is a version of nerd sniping (https://xkcd.com/356/)

It's one of those things that absolutely ruin my productivity and makes me reconsider all the fonts I use in my whole system.

Anyway - thanks for the link, love it.