Are you sure it is 20 million; isn’t it more like 5, including the military?
No, I think it’s closer to 20 million people working for the federal government, less the military. The numbers are so massive, and convoluted it’s hard to get an accurate number.
If you have an updated list, and link, I’d like to see it.