Amp was built by Sourcegraph, so I assume all investors and employees of Sourcegraph now get equity in Amp?