Re: "apt-get dist-upgrade" vs. Neuinstallation