Re: [pacman-dev] [PATCH 1/5] pacman-key: keyring management tool