Updating sourcegraph.com Search Links#847

alexAtSourcegraph wants to merge 2 commits intomainsourcegraph/docs:mainfrom

ajb-remove-sourcegraph-dot-com-linkssourcegraph/docs:ajb-remove-sourcegraph-dot-com-linksCopy head branch name to clipboard