portsurvey log for http://maude.cs.uiuc.edu

> http://maude.cs.uiuc.edu/ ok
> http://maude.cs.uiuc.edu/versions/2.3/Maude-2.3.tar.gz ok