[themodelplumber]

Nice to see there's a solution, thanks for sharing it. Now that I know about apt-clone I don't know if I'll ever do a distro-level upgrade again though, as opposed to a new install...