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

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