Why Sourcegraph and Amp Are Becoming Independent Companies