Learn more about these different git repos.
Other Git URLs
9184d8f
levels.md: Keep the ordering from level.js It is also used in the settings page