Re: [pacman-dev] [PATCH] repo-add.8.txt: document valid DB file extensions