Sourcegraph and exploded sources