Presumably they wanted to continue working on sourcegraph? Or maybe they want to have something left if amp flops?