Merge "MIDI: Add exported="true" to docs" into main