MIDI file export has improved somewhat with today's build. It's still got some issues, but it's producing some pretty good results so far.