I'm using the Chrome webstore IDE.
The originals were never used so I'll assume they have never been re-flashed. I only just updated my original Pico's.
I'll have a look at trying the disconnect and close IDE. However I don't have the same issues with the PICO.
From what I can tell it doesn't even appear to even have a com port assigned when connected.
I have an old windows 7 machine I might see if they come up on that and if they do flash to current firmware and see what happens. Generic Billboard Device comes up a lot related to USB-C and I'm running on a Modern Mac it might be a problem. But again not having any issues with the PICO's.