A plugin that plays MIDI files.