Apologies for the outage last night; the provider hosting the machine performed a planned switch replacement and then appears to have got confused. Their automated script decided the machine was using IP addresses that weren't allocated to it and turned off the switch port. Should all be back and functioning normally now. J. -- I don't know. I'm a dog.