void pgpinline_done() { privacy_unregister_system(&pgpinline_system); }
void pgpmime_done() { privacy_unregister_system(&pgpmime_system); }