Cleanup documentation around symbols and repo-updater#1132

eseliger merged 1 commit intomainsourcegraph/docs:mainfrom

es/docprunesourcegraph/docs:es/docpruneCopy head branch name to clipboard