Metropolis. A modern, geometric typeface by @chrismsimpson (last commit @ 85fa625 Jun 9, 2020 before deletion) Removed because of https://discourse.mozilla.org/t/metropolis-font-repo-missing/69415/3