portsurvey log for http://www.tug.org

> http://www.tug.org/tetex/ ok