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

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