Links for jupyterlab-basic-terminal-extension