Thanks to all who replied (on- or off-list) to my question. I plan to
remove the old padding and replace with a sheet of good quality card
board and a layer of felt, pinned in place using a tack pusher (I'd
forgotten about the existence of these, tho' I now remember them from
about 40 years back).