Ah, gerade sehe ich in der Update-Liste von heute den folgenden Punkt als gefixt:
- Das Sichern geheimer Schlüssel aus dem OpenPGP Key-Manager-Dialogfeld ist stillschweigend fehlgeschlagen
Bin gespannt ... Update einspielen ...
PGP-Schlüssel lässt sich nun exportieren! Wunderbar - Danke fürs Weiterreichen!