Am Mittwoch, dem 13.09.2023 um 08:51 +0200 schrieb Pavel Sanda: > Hopefully, this is fixed now. Juergen, how straightforward would be > backporting for 2.3.x? I think this one deserves it. Not completely straightforward, but doable, I think. -- Jürgen