"Export ... to project media folder" would be a useful choice, indeed. Meanwhile, does this help? from the main [File] menu >> Export project MIDI ..."