It looks like the SD card has died.
My laptop can’t see it.
Googling reveals this to be a known – but not understood – problem with Raspberry Pis…!!!
That’s pretty staggering.
Looks like I need a new ARM32 platform. Fortunately, plenty to choose from. As ever, safety lies in choice.