textsearch.js, .html