The Trump administration — and Elon Musk’s DOGE — seems quite seriously to believe that increased and improved technology and automation can lead to a significantly slimmer workforce at the IRS.