Did GitHub just change its default font family to system defaults? | Hacker News Reader