"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