Ich habe den letzten Abschnitt etwas umformuliert, da missverständlich und ein falsches Jahr bzgl. der Meldung der Schwachstellen in den Text gerutscht war. Die Version 23 vom Mai (damals noch Beta) korrigiert den Bug. Aktuell ist die Version 23.01 vom Juni 2023, die den Fix auch enthält. Am 23. August 2023 wurde das Ganze dann wohl öffentlich gemacht. Siehe auch den Beitrag von heise.