Fix mistake in regexp search docs around quoting#790

jtibshirani merged 1 commit intomainsourcegraph/docs:mainfrom

jtibs/regexpsourcegraph/docs:jtibs/regexpCopy head branch name to clipboard