Ho corretto il meccanismo della sincronizzazione della data e dell'ora da Internet, in modo da porre rimedio al problema che veniva a riproporsi ad ogni mese di ottobre: cioè che l'orario che si otteneva risultava essere già quello dell'ora solare, anche se in Italia è ancora in vigore l'ora legale, e quindi risultava un'ora indietro.
Ho fatto come mi è stato suggerito da Alessandro e, qualche tempo fa, anche da Alessio, entrambi toscani.
Se la data risulta compresa tra l'ultima domenica di settembre e l'ultimo sabato di ottobre, all'orario ottenuto via Internet dall'Istituto Atomico Navale americano aggiungo un'ora.
Per quest'anno, ormai questa correzione servirà soltanto per una settimana ancora. Ma dovrebbe tornare utile per i prossimi anni.