cvsserver update: comment about how we shouldn't remove a user-modified file