Yes please! It would be wonderful if this were capable of exporting proper, multi-track midi files with support for multiple program changes per-track etc, unlike the painfully limited form of midi export available in Ableton Live. 🙏

To export a midi file that can be imported into another app or edited more in another app