We were worried about this initially, too. It turns out that the features are valuable enough that developers are willing to use Sourcegraph as a separate search and review tool even if they don't use it as their main editor. So you can use IntelliJ for day-to-day editing and Sourcegraph for code review and search.

Perhaps we should make that explicit: "Whether you use it as your primary editor or just for searching and reviewing code, ..."