config: update repo download config options This was renamed to just "repo" a while ago but the docs were missed. Change-Id: Id389374f886d37e69bd99736ab0a17087ef5bae9
All documentation may be found under src/main/resources/Documentation/.