Searching in html/rendering/bidi-rendering