This Pedal is currently available.
Slim USB MIDI keyboard
https://www.korg.com/us/products/computergear/nanokey2/
These merchants probably sell this module. Huh?
Included in 3 Pedalboards, 2 are public: