While I was typing the above message, the Sky Q box has just connected to the Smarthub and everything is working again, after several hours and about 10 failed attempts to reset the connection. I didn't get around to trying an ethernet connection.
It came back by itself.
