Fixes #7280: adding GPG Keys user guide.