Downtime on Jul 3rd

I should have posted about this earlier, but for completeness I'd like to mention that we experimented some downtime on the server last week Thursday for a few hours in the afternoon/evening.