Sorry you are seeing slowness on our GitHub integration (which adds hovers, go-to-definition, and find-references to GitHub code and PRs; see https://chrome.goo

Sorry you are seeing slowness on our GitHub integration (which adds hovers, go-to-definition, and find-references to GitHub code and PRs; see https://chrome.google.com/webstore/detail/sourcegraph/dgjhfomjieaadpoljlnidmbgkdffpack?hl=en https://chrome.google.com/webstore/detail/sourcegraph/dgjhfo...). We are not aware of any general issues there. Could you please file an issue at https://github.com/sourcegraph/sourcegraph https://github.com/sourcegraph/sourcegraph and mention the repositories (if public) and languages where you're seeing slowness? We will look into it ASAP.