Re: [pacman-dev] [PATCH v4] Add BUILDINFO man page