asOpenAttribute = document.querySelector('details').hasAttribute('open');
      // This should be greater than zero. The page should be scrolled down
      // to the matching target.
      results.pageYOffsetAfterRaf = window.pageYOffset;

      params = new URLSearchParams(window.location.search);
      stashResultsThenClose(params.get('key'), results);
    };
  </script>
</body>
