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