Eliminating “underutilized” federal office space has become a fixation for Elon Musk and his Department of Government Efficiency operation.