GitHub repository: raspberrypi/usb-pid
Description: Raspberry Pi Pico PID allocations