If two or more RPi-Picos were attached to the same system, would I be able to distinguish them e.g. based on the serial number in the USB descriptor?
If there is no random serial, would then at least Pico and Pico-W be distinguishable?
If depending on the firmware: MicroPython would be important, uLisp is on my to do list.