https://www.gitpod.io/docs/browser-extension/