I’m using Gramps 6.0.6 on MacOS.
Hello! I have discovered that I have (at least) two trees in my family tree file: the main tree with hundreds of leaves and a “treelet” that to a certain extent duplicates, but is not identical to, a portion of the main tree. I suspect a duplicate individual was created when I downloaded a tree from familysearch.org and unwittingly I have since been adding to one or the other alternatively. Having discovered this, I would like to merge the smaller with the larger tree. How do I do this?