Re: [pacman-dev] [PATCH v2] pacman-key: --refresh-keys queries WKD before keyserver