[arch-dev-public] [Fwd: Re: replace man with man-db?]