While Musk’s tweet may have intimated that the group of workers had been eliminated, an individual with knowledge of the IRS ...