Links for jupyterlab-open-in-terminal-extension