Fixes to extension manager, delete extensions.