Learn more about these different git repos.
Other Git URLs
18918b1
Tweak docs for some of the recent changes.