Looks like we brought down the server(s). We must have all jumped on at the
same time.
Let's give them a bit of time to fix the problem without forcing them to move
to bigger servers, which would take longer.
And perhaps we should set up mirrors as soon as possible. I've never set up a
mirror - what's involved in that?
Michael