Links for pipeshift-jupyterlab-theme