the team behind that stuff was private company consultants...
https://apnews.com/article/irs-direct-file-musk-18f-6a4dc35a...
Excerpt: Billionaire tech mogul Elon Musk posted Monday on his social media site that he had “deleted” 18F, a government agency that worked on technology projects such as the IRS’ Direct File program.