@devpodio/workspace (npm): Theia - Workspace Extension
Keywords: theia-extension