rl;
    }

    document.addEventListener('DOMContentLoaded', function() {
        const vscodeLink = document.getElementById('open-in-vscode');
        if (vscodeLink) {
            vscodeLink.href = getVSCodeUrl();
        }
    });
</script>
  
  <!--N.B if we include vsocde://file/ inside vscodeUrl the URL doesn't end up being what we we want. I'm not sure why-->
  <a id="open-in-vscode" href="vscode://file/{{ $vscodeURL }}" class="td-page-meta--view td-page-meta__view" rel="noopener"><i class="fa-solid 