Hey. Just for the records:
I've just stumbled over: https://datatracker.ietf.org/doc/draft-gallagher-openpgp-media-types/ Still a draft, obviously... But AFAIU, that would add a .pgp extension (see Table 4 in chapter 5) for un-armored OpenPGP packet sequences. Cheers, Chris.

