chore: Some cleanup of very old docs and duplicative pages#1292

eseliger merged 1 commit intomainsourcegraph/docs:mainfrom

es/chore-1sourcegraph/docs:es/chore-1Copy head branch name to clipboard