How Big Are Agencies, and Have They Grown or Shrunk?

The number of people who work in the federal government’s largest departments, and how they've changed in size since 2020.