My read on the OP was that this question is about the latter. I’ll see if I can confirm this later, as I haven’t tried to use MIDI External since installing the new OS.