Ah okay. Just for my information: do we automatically setup the right repos for RDO, or is this something the user has to manually do?