Je préfère également réinstaller, pour les mêmes raisons.
(D'ailleurs une nouvelle version de Linux Mint doit sortir d'ici la fin de l'année).
(Permalink)