Even the government would likely have a fiduciary duty to not dump assets all at once (affecting asset prices sharply), and we aren't looking at huge orders going through, so they have to be breaking it up to some degree, but not timing wise? Doesn't make sense.
We haven't had a significant correction in years in the market. I don't consider this abnormal.