Re: [pacman-dev] [PATCH 1/2] pacman-key: split keyserver to a separate option