The 10000 dongle does get detected in nrfgo Studio but the 10001 board does not. There are no USB devices with exclamation marks or otherwise undetected when the 10001 is plugged in. In fact, the computer does not react at all when I plug in the 10001. No 'detecting device' or 'installing driver' popup at all.
The lights on the board do blink when I plug it in so I don't think the board is broken. And when I plug it into my linux machine, lsusb picks up its presence.
Ideas?
Edit: Device manager screenshot.