Actually they appear to be caching the pages, which is how they are able to detect what is highlighted (otherwise it would be cross domain scripting). So they could just have their caching script strip out that JS and problem solved.
I image that page caching could lead to problems with some sites though. I wanted to do something similar for a project I was working on but scrapped the idea because I couldn't get around the whole cross domain scripting issue, and caching just introduces a host of other problems.
Comments
Actually they appear to be caching the pages, which is how they are able to detect what is highlighted (otherwise it would be cross domain scripting). So they could just have their caching script strip out that JS and problem solved.
I image that page caching could lead to problems with some sites though. I wanted to do something similar for a project I was working on but scrapped the idea because I couldn't get around the whole cross domain scripting issue, and caching just introduces a host of other problems.