https://docs.sourcegraph.com/integration/browser_extension