[245344] Turn links into JavaScript magic

<script>

function htmlDecode(input) {
  var doc = new DOMParser().parseFromString(input, "text/html");
  return doc.documentElement.textContent;
}

$("a[href]").click(function() {
  var linkTarget = this.href;
  console.log("linkTarget: " + linkTarget);
  $.get(linkTarget, function(html) {
    var bodyHtml = /<body.*?>([\s\S]*)<\/body>/.exec(html)[1];
    if (bodyHtml) {
      // remove everything except for things we want to keep
      $('body > *:not(#screenreadertrick, .chatbot)').remove();
      // prepend new things from target page
      $("body").prepend(bodyHtml);
      var title = /<title>([\s\S]*)<\/title>/.exec(html)[1];
      document.title = htmlDecode(title);
      // add history entry / modify URL
      window.history.pushState({}, '', linkTarget);
    }
  });
  return false;
});
</script>