debian/tmp/usr/share/man/man1/gpg-wks-server.1