If there’s ever a Democratic president again it’s going to be fun to see the stories about the “enormous expansion of the federal government” if they’re somehow able to claw back a few percent of the federal workers who’ve been fired over the last couple weeks.