To export a PGP public key, open the PGP console
Select the key to be exported
Click on "Export Keys" button
Select the folder where you want to save the file, and enter the file name