[pacman-dev] [PATCH 3/3] doc: add docs for repo-add -d option