Very cool to see government sponsored open source.
IMHO investing in open source is one of the most strategic things that the US government can do over the upcoming decades. Think about how many trillions of dollars in value has been built on open source software in the US... it's mind boggling how much ROI there is on that stuff.