Learn more about these different git repos.
Other Git URLs
66e0706
this is really clean-up; it's changed in the online version, which is canonical, but might as well be consistent.