Any comments on how your product and plans compare to https://sourcegraph.com/ https://sourcegraph.com/? They seem to have a similar offering with an on-premis

Any comments on how your product and plans compare to https://sourcegraph.com/ https://sourcegraph.com/? They seem to have a similar offering with an on-premise version, though lacking the smooth editor integration.