Learn more about these different git repos.
Other Git URLs
87b0230
Drop the section about headers and lists the extensions enabled