How Sonic Pi upload Midi Files From My Computer?

@robin.newman: Millions of thanks! And yes, the first issue was solved:-) Now I can see those Midi device under the IO now. I will go head to the next step and will let you know if have any further issue. Greatly appreciate our community for all assistance and facilitation!