As the bug thread mentions, Bill is paid to work on Cray Fortran. It looks like the issue is that cray is using gfortran (and others) as a regression test suite, and found a bug. Possibly one that surfaced after cray fixed their own similar bug?

But more to the point, the Feds don't hand out cash without a procurement order. In theory USDS can help unblock that, but I doubt they get engaged in clearance required projects.