Error
The Info node
tofu+pgp: gpg configuration options
in Info file
/usr/share/info/gnupg.info.gz
does not exist.