Sorry for that brief outage. I wanted to do a kernel upgrade. I would have done one too, if I hadn’t forgotten to change grub.conf to set the new kernel as default before I rebooted :oops:
There will be another shutdown later (or maybe tomorrow) when I really will upgrade the kernel!