@theia/getting-started (npm): Theia - GettingStarted Extension
Keywords: theia-extension|cloud-ide|editor|electron|ide|language-server-protocol|typescript