git-reset.txt: reset --soft is not a no-op