> With the patch in https://debbugs.gnu.org/cgi/bugreport.cgi?bug=76568
> duplicates will be harder to install.

They're still easy to have (e.g. install some packages system-wide and
then let the users install other versions in their home dir), and that's
a good thing: we want to support setups with several versions installed
at the same time.  Of course, users usually don't want that, so it's
good to make sure it doesn't happen by accident.  In any case, my
question was simply to confirm that I understood correctly the
information that's displayed.