bookmarklet.html and searcher.js