If you had engineers threatening to quit if forced to write "GovtOS", it would make sense that there would be quite a few who wouldn't mind leaking that a behind-the-doors deal was made.