[pimlottc]

Does that disable the highlighting too or just the auto-scroll behavior?

[shakna]

I think we're a long way from standardisation just now. So the behavior of the header is verging on the undefined territory. It might do something. It might even order a grape soda. Hopefully it does what you want. It might not.