Another brief outage

We had to reboot the main linux server again at around 1:30 p.m. today. This caused the server to be unavailable for around 20 minutes. Apologies for any inconvenience caused.