On 2/14/23 13:39, Randy Taylor wrote:
Thanks for testing. I've attached a patch fixing this.

I had deleted a query I thought was now covered :). I look forward to the day we have highlight tests!

Tested. Can confirm this looks correct now!

--
Jostein