Es ist jetzt fix, dass als Bugfix zu den Schwierigkeiten mit Mozilla 1.2 ein neues Release namens 1.2.1 folgt. Dafür wurde bereits ein Bug Report angelegt und es ist wahrscheinlich am Montag, nach dem langen Wochenende in den USA, zu erwarten. Natürlich wird es dafür sofort ein deutsches Paket und besonders Binaries geben. (Das Paket von 1.2 wäre grundsätzlich verwendbar, aber ich habe auch ein paar ganz kleine Bugfixes noch zusätzlich eingebaut.)