<div dir="ltr">Patch is attached to fix some inconsistency in HTML exports search.</div>