search engine issue

[dtenenba]

It appears we have switched to Google as the search engine.

Were there issues with the previous search engine (elasticsearch)? If so, let's discuss.

One issue with using Google is that we are at the mercy of how often they crawl the site and index its pages. With elasticsearch, the index was built with every push to the main branch of the repo.