Am Freitag, dem 18.11.2022 um 23:39 +0100 schrieb Pavel Sanda: > Bummer. We either see different bug or the fix is not enough. Maybe. All I can say is that I still see the very bug I reported. -- Jürgen