They were part of the Digital Service Department set up by Obama that Trump converted to DOGE. So these are not Elon’s people, they are entrenched government bureaucrats.