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