Re: [pacman-dev] [PATCH 3/3] pacman-key: better handling of options and supressing gpg output