Hacking google-highlight plugin

Today I found a nice plugin for highlighting search strings from referrer called google-highlight, when coming from a search engine. The problem was, when the site includes a substring of $_SERVER["SERVER_NAME"] it was highlighted ... maybe not what you want.

Here is the patch: