portsurvey log for http://svmlight.joachims.org

> http://svmlight.joachims.org/ ok