distribution-gpg-keys: openpgp-file-has-implementation-specific-extension
distribution-gpg-keys: package-contains-documentation-outside-usr-share-doc
