xemacs.org services should all be back to normal