docs: update to account for github changes

Jacky Zhao

2023-03-02 aa5ab03d4ad6e7cb4d9efd3f9c177ebde7e4c4af

 assets/js/util.js

@@ -123,6 +123,11 @@
    ".singlePage",
  )
  closeSearch()
  plausible("Search", {
    props: {
      term
    }
  })
}

function openSearch() {