The normal Tuesday morning maintenance had to be extended by 15 minutes to allow us to restart a database restore process that was interrupted by an accidental closure of an SSH terminal connection. We will look to script this part of the process in future to protect against this sort of event. Apologies for the inconvenience caused.