Searching in doc/html/katex