Why is everyone talking about these as /coding/ fonts? They clearly don't have that positioning or intent:

> Mona Sans ... work as our primary font across mediums ... You can see it in use on our more marketing-oriented pages on GitHub.

> Hubot Sans ... is our secondary brand font at GitHub ... you can see it in use in the ReadME Project, and on the GitHub Universe site.