Documentation/git-push.txt: explain better cases where --force is dangerous