service was restored about 08:30 GMT today (20170118), having dropped at 19:30 GMT yesterday (20170117) according to our external monitoring. I note that the VPS we have there wasn't rebooted, it looks like it was just a network issue rather than someome temporarily pulling the plug on the entire operation.