Vladimir,

Thanks for your feedback. It seems to want to work, but all of the hits still show up hightlighted in gray, except the last one which gets a "permanent" pink hightlight.