Ok, couldn’t wait. Despite doing a factory reset before, this time it did the job. My experience was exactly the same as yours. Nothing detected and then there it was in ungrouped devices, exactly as it had been before.
Thanks Mike, we got there by some trial and error. Interestingly it seems as if we may also have found an unconventional way to power on the TV as well, although it would need a second device.