* gnupg.7: New mini man page.