portsurvey log for http://dino.nongnu.org

> http://dino.nongnu.org/ ok