Как обнаружил мой коллега Павел, открытые PGP-ключи можно экспортировать практически в любые форматы файлов, которые только удалось обнаружить в системе! 😮
