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 wi

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 https://fusejs.io I wasn't aware that it's easy to implement one's own search engine.