Last active last year
Did you ever get a response to this?
We're getting a similar thing with the highlighting stopping roughly at the same spot on every page!
(We're just testing now whether it's only when we do an HTML5 output).
It's been feeling like I'm the only one experiencing this too. No signs of this issue except for your post.