am 724b9ea5: Merge "Replace MidiFile player with a Midi extractor"

* commit '724b9ea51db0c191cc3184319719a38b5a1f6502':
  Replace MidiFile player with a Midi extractor