The birth of Inter: How the new open-source typeface used by GitHub and Mozilla came to be