Vi känna nu 25 småplaneter.