Do these two have anything to do with one another?
It's been a long, long time since I even bothered messing with "midi setup...", but it seems to me that disabling devices in midi setup should stop them showing up from midiinfo. yes? no?
Is this profoundly counter-intuitive, or is it just me?