portsurvey log for http://stellarium.sourceforge.net

> http://stellarium.sourceforge.net/ ok