Jer.. Am I correct in assuming that CVS is down? Or have we moved to a different CVS host (i.e. CVSROOT != jabber.org)? D.