The whole content of htmlsearch is not built at all, and totally
deprecated.  While it is going to be replaced soon with a better
solution, stop wasting translators' time with unused messages.