I am sorry to bother the forum members, but I have literally spent hours searching the website and forums, and have come up empty.
I am using Teensy 4.1.
I have successfully installed Teensy into Arduino IDE (which I have used for several small projects).
I did find the MIDI functions...