Can I ask a very tangential question?
What happens in, for example, apt when a package name changes? Is there a mechanism that will automatically move users over? Or will they need to remove/install manually?
(I'm not asking to play devil's advocate, I really just have no idea how package managers handle this situation.)