From today one-time passcodes are no longer being received from two
different sources. I have redirected them to my wife's phone and they
came through fine. It seems to be only my phone which has been
restarted. Other text messages are being received...