Merge branch 'js/check-docs-exe'

Dev support update.

* js/check-docs-exe:
check-docs: fix for setups where executables have an extension
check-docs: do not expect guide pages to correspond to commands
check-docs: really look at the documented commands again
docs: do not document the `git remote-testgit` command
docs: move gitremote-helpers into section 7

diff --cc Documentation/Makefile
Simple merge

diff --cc Documentation/git-remote-ext.txt
Simple merge

diff --cc Documentation/gitremote-helpers.txt
Simple merge

diff --cc Makefile
Simple merge