It’s (a)live.
The search feature has been added to the main menu bar above and is named, rather on the nose honestly, “Search.”
As the search page will tell you, I wasn’t sure I wanted to fiddle with the overall code to get a search bar added automatically… ergo instead I put together a page for searching. Hey, it’s jury-rigged but it appears to work.