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.