@devpodio/terminal (npm): Theia - Terminal Extension
Keywords: theia-extension