Se hai una copia di backup del profilo, ti basta sostituire il file
popstate.dat e poi ripartire da quello.
Se invece non hai un backup utilizzabile, secondo me la via più sicura è scaricare di nuovo tutte le email dal server e poi eventualmente usare l'estensione
Remove Duplicate Messages (Alternate) per individuare e rimuovere le email duplicate.
Se (nel secondo caso) preferisci non
mescolare le "nuove" email con quelle già presenti in "Posta in arrivo", potresti creare un filtro temporaneo per spostare automaticamente in una "cartella di lavoro" tutte le 4000 email che dovrai
ri-scaricare (così da poterle poi
analizzare in modo più comodo).