pues mira

al cambiarn los iconos si tienen el mismo nombre se reemplazan pero si son diferentes se quedan los viejos sicambias el menu.ml no hay problema solo si a caso 1/2 mb de espacio desperdiciado pero nadamas