"keyboard.h"

I realize this is most likely the wrong place for this, but I see no other place to ask...
I need this library, but see no where to download it, and would be very grateful for someone to help.
https://www.arduino.cc/reference/en/language/functions/usb/keyboard/
I looked on gethub, and was unable to locate it.
Thanks for your help.
Henri Monnier -(EMAIL REMOVED)

(deleted)

Henri, if you are after the default keyboard library then all you should need is:

#include <Keyboard.h>

The ‘K’ is capital, unless you are referring to some other another keyboard library…