Extensions are being deprecated anyway https://about.sourcegraph.com/blog/release/4.0#:~:text=Your%20favorite%20extensions%20are%20now%20available%20by%20defaul

Extensions are being deprecated anyway https://about.sourcegraph.com/blog/release/4.0#:~:text=Your%20favorite%20extensions%20are%20now%20available%20by%20default https://about.sourcegraph.com/blog/release/4.0#:~:text=Your%...