portsurvey log for http://seed7.sourceforge.net

> http://seed7.sourceforge.net/ ok