By the way, seems that MIDI playback support in operating systems and browsers is petering out.

About nine or ten years ago, I had little trouble playing back MIDI files on various platforms.

Recently, I sent an old .mid file that I produced almost a decade ago to someone (at Google!) and they couldn't play it. After trying it myself, I was shocked. Browser after browser, system after system; no dice.

I ended up converting to MP3 using Timidity -> Lame.