I did note your ":)", and I agree that compared to a total of 63kb, a 23kb addition can be quite large, but search is too important a feature, and I think it will be worthwhile.

Thank you to the GP for the suggestion to use https://fusejs.io

I wasn't aware that it's easy to implement one's own search engine.