HN is simple enough that it scales well with browser zoom, and so (imo) is excusable for not following that 12pt standard.

Agreed. I need a larger font on a lot of sites nowadays, but HN is probably the one that behaves best with simple browser zoom. I have it set to 125 or 150% depending how tired my eyes are..