I'm grateful, believe me

But it's not enough: "Here's How Much the Federal Workforce Has Shrunk, Thanks to President Trump".

...the federal workforce is at its smallest since 1966, with more than 350,000 federal employees having been fired, resigned, or retired.

Not a bad start, but that number needs to be somewhere north of a million.