Io ho sempre tenuto l'ondemand, ogni volta che mettevo l'intellidemand mi crashava di continuo ogni cosa, effettivamente ha ragione nel dire che non è ottimizzato (sto parlando per il mio device, ognuno può avere dei riscontri diversi), ma che senso avrebbe toglierlo? Non costa niente lasciarlo...