Die Bezeichnung Planetino wurde heute morgen von Brian Marsden vorgeschlagen (siehe z.B. hier, aber das Exekutiv-Kommittee hat es abgelehnt heute noch mal über Namen zu diskutieren. -- srb 18:41, 24. Aug 2006 (CEST)