惑星

冥王星って月より小さいんだって。
で、本当は惑星じゃないらしい。
昔、冥王星についてあまりしっかり確認できていない時に、惑星として登録してしまったんだとか。
その修正案が今日にも可決されそうだって。
惑星追加の話はどうなった？