Mbed driver causes issues with WebUSB driver

When a computer running Windows 10 (and possibly Windows 8) already has the Mbed driver installed from https://os.mbed.com/handbook/DAPLink (http://os.mbed.com/media/downloads/drivers/mbedWinSerial_16466.exe), then Windows will fail to install the WebUSB driver.




We can uninstall the mbed driver by finding all thee DAPLink entries in the Device Manager, "right-click/Uninstall device" and mark the "Delete the driver software for this device". At that point unplugging the device and replugging it will install the all the default drivers as expected.

Older versions of DAPLink needed this driver for serial to work, and a significant number of the deployed micro:bits are likely to still have v0234, we expect a portion of the existing micro:bit user base to have the Mbed drivers installed on their computers and perhaps not even realise it.

Is there anything that could be done in the the Mbed drivers or DAPLink that could avoid or fix this incompatibility?