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