@devpodio/file-search (npm): Theia - File Search Extension
Keywords: theia-extension