XEmacs CVS and http://www.dk.xemacs.org/ are down