On 02/01/2022 15:16, Matthias-Christian Ott wrote: > Yes, this also not the subject or intent of the commit. I will remove > the sentence from the paragraph in a subsequent version of the patch. It seems that the patch was already merged. So I was too late to change it. I suppose we now have to live the commit message. I apologize. Perhaps the archived discussion about it can somewhat correct it. Kind regards, Matthias-Christian Ott