Open workspace with custom IDE via URL. related PR https://github.com/gitpod-io/browser-extension/pull/59#discussion_r853098135