2023-08-27: The Search Engine Is Up

All work is finished and the search engine is back up.