Links for jupyterlab-terraform-file-type-extension