Re: Sourcegraph and exploded sources