I would bet only a tenth of the federal workforce does any real work. 90% do nothing all day, especially those that have a Washington DC office. /spit
I forget which department it was, Commerce, Education, something like that had around 80% of their employees who were “working” from home never once log in to the network in two years.