use sourcegraph.com/... URLs everywhere