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?

J.