Message 210219 - Python tracker

Roger's patch LGTM, and should be considered a bug-fix.

I will note, however, that this doesn't address the original issue: It still does not supply an easily discoverable method of toggling highlighting. Having a keyboard shortcut documented in the help file is necessary, but few novice users will ever notice it.