Check this out — THE answer:
https://blog.jalenack.com/archives/codex-search-plugin/
The download is there and these instructions:
“Installation: Very simple. Upload to your plugins folder (/wp-content/plugins/), then activate the plugin in your admin panel. That’s all!”
