@devpodio/extension-manager (npm): Theia - Extension Manager
Keywords: theia-extension