On Mon, Oct 3, 2022 at 12:29 PM Frederic Muller <fred@cm17.com> wrote:
Thank you very much, just did!

It's good to post the link to the bug, in case somebody else is also affected and reading this.