git-checkout.txt: better docs for '--patch'