Ugh. I installed Mint... 10 I think?, then Mint Debian Edition. But I did it too soon, an early release, so the distro upgrade path still pointed to Mint 10 and when I ran update I was back in Mint 10 all of a sudden So, I hope the upgrade is not like that.