A shame they didn’t opt for Public Sans, which was designed by the US Web Design System team. Though I see it only supports Latin characters at the moment, which might make it unsuitable for use at State. https://public-sans.digital.gov
I agree with others on here, though. Everything our government does, and produces, from an IT/development perspective which is not a "competitive advantage" (security, etc.) should be open. Why there would be an official directive to choose a non-open font when so many open fonts exist, is beyond me.