Seems a bit of a shame, and will probably be about as effective as renaming Brontosaurus as "Apatosaurus" was. It's going to be a LONG time before people stop using the old nomenclature in both cases.
Having said that, I can see the reasons why they've done it - I just wish that they'd left in a "grandfather clause" to keep Pluto as a planet, since it was so much a part of astronomical history.
