Quit. Fired. I don’t care. The only word that matters to me is Gone.
I hope “gone” means “lost their job and booted off the roll.” Because a firing (or whatever) in DC often means being flushed from under one rock only to scurry under a new one. With the hiring freeze on, it should mean they’ve really been booted out.