Yup, and government workers, when they are off the job, use their salaries to eat at restaurants, drink at bars, go to the movies, buy cars, etc. All of which is economic activity that reflects in GDP.
Just monumentally stupid stuff from our Tech Overlord