I think you just save as (*.MID)…. Here's an old post you responded on about 5 years ago on the MIDI export part....

2014 MIDI Post




Steve

BIAB/RB 2022, Pro Tools 2020, Korg N5, JBL LSR 4328 Powered Monitors, AKG/Shure Mics.
PC: Win11 PRO, 4 TB M2 SSD, 2 TB HD, 128 GB Memory