Key_Cut/Copy/Paste and other keys in key_defs_keyboard.h

I tried these keys, they don’t work (nothing happens). Are they OS dependant? Do I need to configure the HostOS plugin for them to work? What about the other keys, is there a documentation about what they do (e.g. Key_Execute)?

There are a lot of keys with interesting names.

I would like to know what they do, and how I can get them to work.

They are OS dependent, as far as I remember, but you do not need the HostOS plugin for them. Their best description is probably the USB HID spec (and that’s not a great resource, either…).