GitHub repository: IAmHughes/sourcegraph-search-export
Description: Export search results as CSV (Sourcegraph extension)