Links for jupyterlab4-stan-highlight