"What for? MIDI files are nice and compact; OGG would be a lossy conversion that vastly increases storage requirements and download time and makes it more difficult to modify the files."
True, but I wasn't sure if Midi was one of the formats that we approve of - I was under the impression that it wasn't. Of course, we should remember that midi sounds different from player to player - what instrument gets mapped to each channel depends on your midi sythesizer. Furthermore, I know of no portable player that supports midi, and converting out of midi format is *HARD* - the software to do it is difficult to come by.
--Mark