Spot the OP!
Old:
New:
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.