Outage (27th Nov)

Apologies to my readers who couldn't access the site last night. My ISP botched a routine maintenance job on their fileserver cluster, leading to the site being down for more than 6 hours. Very frustrating, since they only informed their customers about an hour before they pulled the plug on thousands of websites. Hopefully it doesn't happen again.