Updated searchtools.js_t: simplified 0 search result message