Musk has headed a slash-and-burn effort across the federal government.