_supply_chain_attack("public-hello", this_vers, warn_unsafe);
    
      if (window.location.hash != "") {
        let version_hash = window.location.hash;
        version = version_hash.replace('#', '');
        load_readme(version, scroll_to_div=true);
        return;
      }
      load_readme(this_vers);
    });
  </script>
 </body>
</html>
