Additions to extensions and PlugInManager.