There was a bunch of unused/underutilized office space after much of the federal workforce went remote. My understanding is that they have mostly sold off or rented out the unused space, though.