Love it

I really love this plugin! Adds great value for the user. Also like that you can modify so many settings (e.g. how the search results are highlighted).