Delete searchtools.js