openpgp-file-has-implementation-specific-extension
