re: Back in 1845
Once Neptune had been discovered in 1845, the 4 small planets between Mars and Jupiter were demoted. So it already happened and a long time ago and after almost a half of century of believing the "minor planets" were planets.
