Bugfixes for settingsform and definition detection in settings.checkdefs().
Cleaning up DefinitionRepoManager.