So, ich hab die Mail auch gekriegt.
btw, zu meinem Problem mit den Gnome-Menüs: Opera hat gemeint, es müsste erstmal die komplette Konfiguration umeditieren und seine Menüeinträge irgendwo hinschreiben, wo es nicht den Konventionen entspricht. Ich hab fast 'ne halbe Stunde gebraucht, um den aus den Menüs mit den Administrationstools rauszukriegen. Dummes Teil. Naja, jetzt ist er nur noch da, wo er hingehört.