That was quick, thanks!
Yes, old and new cables joined in the old metal box with those plastic terminal blocks, and a bit of polythene covering this 'ready' for plaster!
I admit we didn't say to him "We want a new cable vertically upwards from the new switch", etc - we expected him to...