ich hatte den Fehler erst vor wenigen Tage gefunden und behoben. Hier im Forum ist eine Fehlerbeschreibung leider nicht so gut aufgehoben beziehungsweise werde ich eventuell nicht darauf aufmerksam. Auf GitHub gibt es die Möglichkeit, fehler zu melden.