Bugfix involving enabling of extensions that have names which are substrings of other extensions' names.