This website now has a search feature powered by Pagefind. The index is generated at build-time. I had to change the templates to exclude some pages from the index. Here's my pagefind.toml:

exclude_selectors = ["footer", "section#extras", ".noindex"]
glob = "*.html"