Documentation: prepare to be consistent about "git-" versus "git "