Any advice on using PGP to encrypt a file in the file cabinet? Surprised I've not run into this before.