An extension enabling multiple types of searches for highlighting matches on a web page, in place of Chrome's CTRL+F.
