What is needed to make BLE MIDI work with Windows?

Not sure what is needed, but I created an issue to get more details: https://github.com/microsoft/pxt-bluetooth-midi/issues/12 as BLE MIDI on Windows 10 should work, it is what my Korg devices use.

What Korg device, out of curiosity? I have no answers; just a fellow Korg fan.


NanoKEY Studio and nanoKONTROL Studio (https://www.korg.com/us/support/download/driver/0/552/2886/)