re: #226 HappyWarrior
The federal employees were off but contractors weren’t.
My guess is a lot of DC was given the day off to avoid traffic. I have one friend who works in the DC area (not federal, not contractor) who had it as a holiday for that reason.