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

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