Docs: improved "About MIDI".