Pues parece ser que soy la única a la que la palabra chocho no le parece vulgar…de hecho hay algunas personas que la usan para referirse a otras.
No sé, yo lo veo como tú autora, no veo el problema por ningún lado y creo que la profe debería de haberlo normalizado con la otra niña.