HN commentors on this font change harp on about how it's a waste of time (which it of course is), but that font change seemed to receive a more bland reaction. Funny.