git-reset.txt: point to git-checkout