Links for jupyterlab-terminal-clipboard-extension