I also found this and actually made it the default for an application I author with a few thousand users. Well it turned out jetbrains mono didn't support chinese characters so I broke my app for a proportion of my user base. I had to revert it. Also it can add seconds to load time. Just a warning as I think a few people on hn will make tools for others. I still set it as my own font.