(null, null, url.toString());
    });

    // Re-activate the tab and scroll to anchor if the query parameters change
    $(window).on('popstate', function () {
        activateTabAndHeaderFromUrl();
    });
});
</script>
<script>
            document.addEventListener("DOMContentLoaded", function() {
              // Select the original footnotes container
              var originalFootnotes = document.querySelector(".footnotes");

              // Select the custom footnotes placeholder
              var c