On holiday

The server has decided, with some help from our service provider, to take an extended (long weekend) holiday. We expect to have normal service restored on Tuesday.