You're of course correct, there's no midi channel

Would be really cool too see these things implemented! Glad to see such creative community and developing for this machine btw.. makes me more confident to buy one. its usually the first thing i google for when i get interested in new gear; name + firmware and then i look if things are added.
Then if you select "1234" would triggered all instruments but one after the other...
make it CV-selectable so we can choose via voltage which instrument is playing

it might sound messy to do, but there are modules like voltage block where you easily can select a specific voltage for something.. i use it for Disting and its sample player to select a specific sample via CV.