[tde-users] Re: apt-get upgrade vs dist-upgrade