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

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…).