HTML manual extracted from GPGME.