Learn more about these different git repos.
Other Git URLs
2db9011
add THEME option docs to configuration documentation fixes #4155