Links for jupyterlab-gruvbox-dark