@devpodio/mini-browser (npm): Theia - Mini-Browser Extension
Keywords: theia-extension