portsurvey log for http://manju.cs.berkeley.edu

> http://manju.cs.berkeley.edu/cil/ ok