It seems to have vanished. The FTP and HTTP servers both seem to be down. Is this planned downtime or just a feature of the Christmas break? The domain name is there, but the machine seems to have gone to sleep not evening responding to pings.