Hacking google-highlight plugin

Today I found a nice plugin for highlighting search strings from referrer called google-highlight [http://dev.wp-plugins.org/browser/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…