Rebooting cleared the logjam, I’m pleased to say. But that’s the second time I’ve rebooted in 24 hours. I hope I’m not going to have to do this every day.