unfortunately I can't use Zed until they support REPL on remote connections (or remote Jupyter)