Just before Christmas, the Cato Institute released an outline for Musk’s commission, headlined by a section called “Shrink Social Security".