Our service provider performed a server reboot as part of their infrastructure maintenance, causing a few minutes of downtime (https://status.rackspace.com)