git-checkout.txt: document "git checkout <pathspec>" better