On 10/6/2022 1:24 PM, Adam Dinwoodie wrote: > Jari isn't very active on the lists these days, but I think he is still > active, so he might want to weigh in. I'm not sure Jari is subscribed to this list. I've added him to the CC. Ken