Found it!
On MyHeritage.com, go to Family Tree, pulldown menu to Manage Trees, on the same line as your tree, follow to the right to Actions. In that list should be Export to GEDCOM.
Also in MyHeritage Help, type in "Export GEDCOM"
This instruction is/was valid in May 2019