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

> http://www.texmacs.org/ ok