doc: We're using Git rather than CVS.