Drag-and-drop to clip from external app (eg files app) works well for audio files, nice to have the same functionality for MIDI files.