I was trying to make it easy to see at a glance which of the two colors described in the big comment each of these was (since the selector names read at a glance can be misleading -- the one that has the word "highlighting" is _not_ the highlighting color).  I'll push up some wording tweaks.