Raspberry pi pico + Arduino IDE + HID

That proves nothing. For instance, the library does not support the Uno but it is possible to #include it in a Uno sketch but it will not work

Read this Keyboard - Arduino Reference