Learn more about these different git repos.
Other Git URLs
bb4d0d4
Allow removal of user-defined levels with names of a built-in level