Hi,
Thanks for the suggestion.
Unfortunately LuaMidi (
https://www.pjb.com.au/comp/lua/MIDI.html) seems to deal with MIDI files ('off-line') but not with real-time MIDI (ie MIDI to/from hardware device via USB), that is what I'm looking for.
Cheers,
Mario