In effetti io ho pensato solo al fatto che se la comunità aggiorna l'header per correggere un bug mi sembrava giusto fare il replace di quello esistente.
In questo caso (di una aggiornamento dell'header dovuto ad un bug), come si deve comportare un utente che manualmente va a cambiare quello caricato dalla prima installazione?
In effetti io ho pensato solo al fatto che se la comunità aggiorna l'header per correggere un bug mi sembrava giusto fare il replace di quello esistente.
In questo caso (di una aggiornamento dell'header dovuto ad un bug), come si deve comportare un utente che manualmente va a cambiare quello caricato dalla prima installazione?