Learn more about these different git repos.
Other Git URLs
5bec33f
Fix markup for magma_tool man page; fix from Eric S. Raymond