Comment by KeenFox

Related: the US government has its own font. The page mentions it further down.

https://public-sans.digital.gov/

Discussion of the font on HN: https://news.ycombinator.com/item?id=19607371