Elon Musk, new co-head of the Department of Government Efficiency declared this week that the new outfit will seek to audit the IRS. It started with Musk asking X users what they think should happen to the IRS budget, given that it just asked for an increase of $20 billion. Due to an error in legislative language, $20 billion in IRS funding is locked up.