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

> http://www.mpfr.org/ ok