The outage also affected Google-connected smart devices such as Home speakers - leading some users to complain on social media of being unable to switch off some lights in their homes.
The RCD in our consumer box tripped around the time of the outage this morning. Probably just a coincidence, although the previous occupants used to remotely operate various electrical gadgets at the property.