I used to work at .gov and you are correct.
But—this is massive overkill—at least based on public known facts.
The basic .gov bureaucracy always gets a day off for the inauguration, mostly to keep DC traffic under control for the large crowds attending. However, this year there are no large crowds that will attend, so even #4 would be overkill.
“massive overkill—at least based on public known facts.”
You are right. There was supposed to be massive violence yesterday in all the state capitols and NONE happened. It was another lefty misinformation scare campaign.