thanks for following up on this. It does work as designed for a local file that I just tried (see OK1-3), but does not with a file that I receive every month from my mobile provider (see FAIL1-3). It looks like a standard ZIP file though and after removing the „ 2.pgp“ from the filename, double-clicking the file starts the unarchiver.
addendum: I just notice that the file I receive has a .PGP extension instead of .GPG. This used to work though even with the PGP extension.
If I change it to .GPG, the decrypt process also removes the .GPG.
So it comes down to the suite handling the .PGP extension differently now than before.