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