Add GPG tips to PRO TIPS docs