Attention! New server. So, new IP addr.
Some users of Windows under MacOS had problem in DNS resolving.
So, we moved on use of numeric IP for updates.
