portsurvey log for http://people.cs.uu.nl

> http://people.cs.uu.nl/andres/ ok
> http://people.cs.uu.nl/andres/lhs2tex/lhs2tex-1.13.tar.gz ok