repo-add.8.txt: document valid DB file extensions