Move Deep Search into main nav section#1243

janhartman merged 1 commit intomainsourcegraph/docs:mainfrom

jan/deep-search-movesourcegraph/docs:jan/deep-search-moveCopy head branch name to clipboard