Grazie Andrea
Ovviamente sapevo della possibilità di cambiarli manualmente, ma sai... sono di una pigrizia rivoltante...! (e volevo essere sicuro che non si trattasse di un bug "oscuro" che potesse saltar fuori da qualche altra parte in futuro...)
p.