Is there a nice alternative we could use here without hosting a font ourselves? Adding binary files to the repository and getting into the business of making sure it's up-to-date is icky.