Links for jupyterlab-change-ui-font-size-fix