I believe the search there uses Sourcegraph, so you can also search directly at https://sourcegraph.com/search https://sourcegraph.com/search. E.g. https://sour

I believe the search there uses Sourcegraph, so you can also search directly at https://sourcegraph.com/search https://sourcegraph.com/search. E.g. https://sourcegraph.com/search?q=repo:github.com/nginx/nginx+worker_connections&patternType=keyword&sm=0 https://sourcegraph.com/search?q=repo:github.com/nginx/nginx...