[DCP-o-matic] Exporting a decryption certificate.