Vendor and product ID values for the SparkFun Pro Micro RP2350?

What are the USB vendor and product ID for the SparkFun Pro Micro RP2350 supposed to be? On Windows, usbipd is showing this:

usbipd list
Connected:
BUSID  VID:PID    DEVICE                                                        STATE
6-2    2e8a:0009  USB Serial Device (COM4), Reset                               Not shared

or

6-2    2e8a:000f  USB Mass Storage Device, RP2350 Boot                          Not shared

That looks suspiciously like Raspberry Pi Pico board values, and it’s confusing some of the development software. I’m seeing similar values on my Fedora Linux machine.

Is it possible that some software has changed those values? Or are the Windows and Linux USB drivers not caught up with the RP2350 boards and just winging it?

VID: 2e8a is the vendor ID assigned to the Raspberry Pi Foundation.
PID: 0009 corresponds to the USB Serial Device (usually seen when the board is running as a USB serial port).
PID: 000f corresponds to the USB Mass Storage Device (seen when the board is in bootloader mode).
These IDs are not unique to the SparkFun Pro Micro RP2040 and are shared with other RP2040-based boards, including the Raspberry Pi Pico.