Alles anzeigenIch hab's jetzt aber anders hingekriegt:
Ich habe in der ~/.thunderbird/????????.default/prefs.js die beiden Werte ...
user_pref("mail.identity.id1.openpgp_key_id", "????????????????");
... und ...
user_pref("mail.identity.id1.pgpkeyId", "0x????????????????????????????????????????");
... auf den neuen Schlüssel geändert. Damit funktioniert jetzt alles wie gewünscht.
Nach einigem Suchen habe ich es (in Thunderbird 91.3.2) über die GUI hinbekommen:
Konto-Einstellungen > Gewünschte Mailadresse > Ende-zu-Ende-Verschlüsselung > OpenPGP
Hier gibt es dann Auswahlmöglichkeit, welchen der verfügbaren Schlüssel man verwenden möchte. (Womöglich ändert es dann die Konfig an den Stellen, die Frère Jacques beschrieb. [nicht geprüft])
Diese Auswahl muss dann jeweils pro E-Mail-Konto/Adresse getroffen werden.
Meinen Schlüssel, den ich extern (nicht in THunderbird) erzeugt hatte, hatte ich zwar schon über Extras > OpenPGP-Schlüssel verwalten importiert. An dieser Stelle war das jedoch nochmals nötig.