Intua in 2018:
"MIDI export is coming in the forthcoming 3.1 update!"
.??? Now 2019 and
NO MIDI EXPORT!
Post about it in a few more threads. Maybe that’ll make it happen. Be sure to use enough caps, explanation points and emojis though or it may not work.
This is coming in the next update.