Dear all, TUG server (tug.org) will be moved tomorrow to new (and much better!) premises: the Department's brand new server room. The server will go down at 10 am MET and is expected to be up again at 12 noon. Mailing lists, FTP, Web pages etc. will be unavailable during downtime. Regards Kaja Christiansen