Beide Probleme sind behoben:



1. Zitieren verursacht nun am Mozilla keine permanente Kursivschrift mehr.



2. Der Log-Out wurde überarbeitet. madhouse-racer, dein Problem ist
damit dann behoben Beim Ausloggen bitte immer warten, bis der Vorgang
abgeschlossen ist, ihr seht dabei für ein, zwei Sekunden einen kleinen
Status-Balken.



Die Änderungen sind entweder noch heute oder sonst ab Montag hier auf den Produktiv-Servern verfügbar.