Is Amp the thing that supplanted Cody (which was either developed or acquired by Sourcegraph, can't remember)?