use sourcegraph.com/... paths