Again, thank you for a very helpful post.
You’re confirming my gut instinct, which is to bin the shed wiring by disconnecting it inside the house, get an electrician in for a power shower if we go that way and have an EICR.
If my wife wants light in the shed (‘summer house’, but still a shed)...