Of course, but surely individuals within the government would've looked at how much it has appreciated and how liquid it is and got atleast a little curious.
Discussion
Have you ever worked with anyone in the government? I would not make those assumptions.
What he is describing is what an individual with something to gain would do. Government officials selling something for the government don't get rewarded for getting another 100k in fiat by timing the market. They had a task and did it. Follow the incentives.