MIDI Export:  Omit invisible notes

In guitar and piano notation it’s common to hide certain noteheads in Voice 1 to accommodate the following kind of multi-voice notation:

https://musescore.com/user/35880724/scores/21289135

But when I export to MIDI, and open the MIDI file in my DAW (Logic Pro), there's always very short notes where there invisible notes exist in the MuseScore score. NOTE: As shown in the following image, in Logic's piano roll editor I dragged the highlighted notes down one semitone to reveal the short notes hidden beneath, which interfere with playback:

Not sure if that's intentional ... but it makes me want the option of omitting invisible notes in a MIDI export.

So the Export dialog would simply include one extra checkbox:

     • Expand repeats
     • Export RPNs
     • Omit invisible notes