Hacker News new | ask | show | jobs
by rob74 2354 days ago
Yeah, changing the font if you had specifically configured it before would have caused some angry reactions I imagine...