Re: [pacman-dev] [PATCH] repo-add; add option to remove existing package files from disk