Add redirect from old to new deep search URL#1248

eseliger merged 1 commit intomainsourcegraph/docs:mainfrom

es/ds-redirectsourcegraph/docs:es/ds-redirectCopy head branch name to clipboard