They also made a sensible effort to downsize government, and it was successful.
One other comment. I get this, but it also kinda misses the forest for the trees.
The size of the government payroll -- while I think it probably could and should be whittled down -- hasn't ever been our top fiscal problem. I forget the precise fiscal impact of the early 90s paring, but I'm pretty sure it wasn't too far off from a rounding error on the overall picture. And the same holds true now.
The elephant in the room that everybody -- very much including Donald Trump (though he might be slightly better than most in DC on it) -- seems intent on ignoring is the growth in the cost of entitlement benefits. To his credit, Musk has pointed this out. And he's absolutely right about it. But it's not a coincidence that he's not been elected to anything -- or even subject to Senate confirmation.