Re: [pacman-dev] [PATCH 2/7] pacman-key: remove the --adv option