Re: [pacman-dev] [PATCH 5/5] pacman-key: receive keys from WKD with -r/--recv-keys