Das Einbringen zählt! Danke dafür und Deine Zeit.Viel gebracht hat's ja nicht.
Da auf lange Post selten noch neue Antworten kommen, würde ich fast empfehlen, einen Bug im Tracker zu melden. Da schauen dann auch die Leute drauf, die den Code kennen.