I know y'all hate unexpected downtime but we got an email from AWS that basically says "by the time you read this, one of your servers may already be dead" (not really) so we need to do some emergency downtime tomorrow morning. It should only take a few minutes and hopefully most of you will still be asleep at that time.
Sorry for the inconvenience!
Colleen (from Presto, and sometimes SASSIE)