Werner LEMBERG Sat, 18 Feb 2023 06:36:55 -0800
> I missed it at first, but it's actually very easy in your example. Thanks, added to #6533.
Werner