The promised followup: tug.org is moved to the new hosting site. The new IP address is 91.121.174.77 (the old address is 130.225.2.178). Mail seems to be flowing and web pages serving, etc. Let me know about any problems ... -k