Created by: philipp-spiess
This is currently blocked by whatever we do for #38317.
We need to change the browser extensions to not use Sourcegraph extensions but the new code navigations APIs that will be used for #38317.
/cc @muratsu @jjinnii @ryankscott