>>303
arduino.ccからもらって来たarduino-1.8.12-windows.zipの中を見をてみたけど、
arduino-1.8.12\hardware\arduino\avr\libraries\HID\src
に入ってる。