MusicXML is the standard used to display the "sheet music" part of the page, and some other applications also support it, so that was the easiest form to export. You're right, though, MIDI is definitely more useful, and thankfully I found a MIDI library that wasn't too hard to integrate into the existing project. Thanks for the suggestion!