This is the most impractically Hacker News advice I have received in this site in at least a year.
It's dumb to have to change a site's code to be able to read it. But if you know how to, and the font is a big enough problem... so what? Maybe other people like the font choice. It was advice targeted towards its likely viewership.