One of the most talked-about staff members of the Trump administration’s Department of Government Efficiency has left the federal government, continuing a stream of DOGE-related departures.