Revising "Setting Up CVS" section.