AudioDeviceManager is really well defined with the ability to save and restore device identifiers and parameters to XML across launches.
But where is the MidiInput device support? All we get is an index and a name? Is the name guaranteed to be unique on all platforms? Can I save the name across launches?
How can I handle the case where the midi input devices change between launches?