There was a 15 min downtime approximately 5 minutes ago, due to problems in the backup process. This had no effect, and caused no data loss. Sorry about that.