portsurvey log for http://www.theory.org

> http://www.theory.org/~matt/dim/dim.html ok
> http://www.theory.org/~matt/dim/dim.tar ok