Petter Reinholdtsen Sun, 05 Nov 2023 01:03:27 -0700
Just for the record, it would still be nice to get correct index sorting order.
-- Happy hacking Petter Reinholdtsen