Merge branch 'maint'

* maint:
help: Do not unnecessarily look for a repository
Documentation: Fix a few i.e./e.g. mix-ups
Documentation: Document --branch option in git clone synopsis

diff --cc Documentation/gitcore-tutorial.txt
Simple merge