I figured that a MIDI file won’t be able to carry that information, which made me think you may have simply forgotten to disable the ‘export’ menu item.
