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