Learn more about these different git repos.
Other Git URLs
7fae955
Fixing typos in the documentation files.