Snapshot: IRS Workforce Reductions (as of March 2025)