Better messages when merging duplicates.
Note: merging does not yet cope with the case of non-matching MD5s.