The White House press secretary is describing as “garbage” the report in Politico that Elon Musk is leaving the administration in the spring. We hope she’s right. By our lights Mr. Musk has begun addressing the overspending that voters decided to end. It is important work, and he is the kind of outsized figure that has the ability to encompass the scale of what needs to be done. The anger being directed at him by Democrats strikes us as unworthy.