We're terribly sorry about the unexpected server downtime today. Please excuse the inconvenience.
There was a problem with the server configuration, which caused it to not boot after a maintenance
downtime caused by the hosting provider. There should be no loss of data. Some functionality
has yet to be restored though (specifically: the bugtracker). If you notice any other hiccups
throughout the site, please let us know!
Again, our sincere apologies.