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

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