I got a lovely Worlde Panda Mini keyboard for Christmas. Was really struggling to get the Pads working in Sonic Pi, they were playing on /midi:worlde___:0:10/note_on and the sync command just wouldn’t sync!
Anyway - downloaded the Panda mini software and reprogrammed the pads to channel 9 and they’re working a treat now - hope this helps anyone who has the same keyboard.
Thanks for letting me know. I’m pretty sure this is a bug that has long been fixed in the development branch and will make its way into the upcoming v3.3 release. Glad you found a work-around for the meantime though!