Since some time, ephemerides of Ceres, Pallas, Vesta, Juno, Chiron and Pholus have been reintegrated and don't need special ephemerides., You can delete them from the list, so they won't show up in extra asteroids, but there is no ephemeris that gets deleted.
Just added a checkbox to show / hide planet positions so the asteroid names are more clear.