UPDATE: server back up

The server that went down was reset by our sysadmins just now (thanks to them for coming in on a Sunday evening) and we’ve got the server code running on them.