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