One of Elon Musk's biggest cuts was to the team that helps run the easy filing system for the Internal Revenue Service.