Theia - Extension Manager
npm install @devpodio/extension-manager
This extension is depreacted. It will be merged into the plugin management eventually in order to reuse UI.