@devpodio/search-in-workspace (npm): Theia - Search in workspace
Keywords: theia-extension