Re: [pacman-dev] [PATCH 5/9] repo-add: enforce file extensions