text: The $10 billion the federal government spent on maintaining, leasing, and furnishing office buildings that have become virtual ghost towns in the post-COVID era when most government employees work from home.