git-push.txt: clean up force-with-lease wording