@devpodio/editor (npm): Theia - Editor Extension
Keywords: theia-extension