Pomyślałem, że adres serwera jest zapisywany w jakimś pliku. Znalazłem plik opma, w którym jest m.in. adres serwera. Okazało się, że jest tam aktualny adres, który tak pieczołowicie próbuję wpisać w ustawieniach. Czyli adres się zapisuje, tylko w menu pokazuje sie stary. Nie pozostało więc nic innego jak spróbować aktualizacji. Szło długo, ale zakończyło sie pełnym sukcesem. Po uaktualnieniu pojawił się tez prawidłowy adres serwera w menu aktualizacja.
Tak więc program działa dobrze, rozpakowywanie pliku tvv13sett_onet.zip chwilowo odpuszczam.