@wiptheia/plugin-ext (npm): Theia - Plugin Extension
Keywords: theia-extension