That’s good to know — it might help me separate them by duplicating MIDI output channels to force creation of separate MIDI tracks. I’ll give that a shot next time. Thanks!
I don’t need multiple MIDI files per se. What I ultimately need is for each Player to be output to a separate MIDI track. Prior to knowing the above workaround to the merge problem, the only way I could accomplish this is was manually export a Layout for each player to a separate MIDI file. If your workaround addresses the issue, this won’t be necessary.
All that said, this is still a bug (quoting Daniel) and I hope it’s addressed so that other people don’t spend time struggling with this issue.