[Fluxus] Midi Port name

[Ted]

Hi the list,
I was wondering if the fluxus midi input port name should be change.
The actual "RtMidi Input" is quite abstract and an other application
could have the same name. I'm working on an external midi sequencer for
fluxus and when I wanted to specify the fluxus port, I thank, what prove
it is the fluxus port.
If found it in the modules/fluxus-midi/src/RtMidi.h
What do you think about it?