A pesar de que la categoría planeta menor ya no es oficial, sí ha mantenido ese nombre el catálogo de planetas menores de la UAI.