sequoia-gpgv: no-manual-page
