President Joe Biden increased the federal workforce by about 5%, the highest increase in any single term since the 1980s. But the number grew by about 130,000, not 900,000.  President Donald Trump ...