Learn more about these different git repos.
Other Git URLs
918dfa8
Misc fixes to the doc, formatting and links