Files that are decrypted and downloaded will have a .pgp file extension. The end-user can rename the file upon download.