Pluto demoted

It's official: Astronomers strip Pluto of planetary status. I guess Gustav Holst was right after all.