Improve the discussion of branching and tagging in git vs. CVS.