Then my purpose in life is done.
Oh, an even more useful addition would be the ability to Ctrl+double click further terms you wish to highlight, so they'll be highlighted as well, though in different in colors. All instances of the first term might be green, second purple, etc....
However, this is more than good enough for now.