What you are missing is that these are the repos already on the device. He has no need to configure the repo himself. They used to work for him now they do not. Something has changed somewhere along the line whether it be on his internet or Nokias' servers.