bueno lo unico que se es que si se puede cambiar algunos iconos solo coloca el nombre y formato correcto a cada imagen y no imporat editar el menu.ml, con tal que sea del mismo tamaño que era para las imagenes anteriores