I guess these should be merged. What do you think ? if you think merging is a good idea ? how do we merge ? I would propose to merge the smallest into the biggest.
it seems that there is a "deduplication process" (see the Answer of Jeff Atwood here) Should we run that ?