Pico's ESP8266 weirdnesses (Module not found)

I tried that throttle switch, but actually it works fine without that at the moment.

v80 and the current github builds should have USB HID, albeit in a
really basic form.

Ah, Just reflashed to 79 :)
Any docs on how to use the HID parts/what's there?