I upgraded from DMX v5.1.3 to v5.2.5 and now cannot see the repository location setting anywhere. I think it used to be on the MainOptions screen. Was it moved to some other place ?