Hurrah. Finally got round to disconnecting the cable going to the outbuilding/shed thing that, after the final round of boundary changes, got sold along with the next-door former-rental house but still had a light fitting powered from our house. So finally I'm satisfied that nothing our new neighbours can do should trip our RCD/circuit breakers while we're away for a few weeks! Good.