Hi, On Thu, 29 Sep 2022 at 23:10, Maxim Cournoyer wrote: > Wholly agreed, this thread is already too long and the original problem > was fixed. Closing. I disagree, the original problem is not fixed; as I explained. Well, since you consider it is, please also close the related patch#43442. Cheers, simon