Re: [pacman-dev] [PATCH] pacman-key: update man page