Spot the OP!
Here is a link to the Greasemonkey sript (works in Firefox, most probably also in Chrome). George made this for me. I cannot thank him enough: this is great! Note that you can easily change the colour of the highlighting by editing the
#ecd thing in the code into something else. I have changed it into
#cdf myself for a light-blue-greyish hue.