[Zubersoft]

Small follow-up on this: on Android 14 devices, the "Default" midi library stopped working after making this change. However, I discovered a problem in the code that requests access to the MIDI device, so once I fixed that, it started working again. I pushed out a small update through Google Play for this, so that should be available soon (still version 3.8.36, just a new build).

Mike