Learn more about these different git repos.
Other Git URLs
9480ff8
Do not generate man pages for COLLECION for now.