Arrgh… I’ve borked the Quad!
I downloaded and installed the latest update from the miniDSO site. Now Channels A and B no longer show and the device is recognised as a USB device.
Not sure what to do now, but I guess I need to know how to reinstall the bootloader.