Is something amiss with the CVS server?