Reply To: How to use HighlightRange to un-highlight

[Derek Read]

The scripts aren't explicitly doing that (as far as I can see) so it looks like a bug.

Reply