Yes version and method just like your instruction.
Device manager adds two devices that I can see when the Leonardo is connected.
Device Manager \ Other Devices \ arduino leonardo bootloader
The drivers for this device are not installed. (Code 28)
this has the yellow ! and is what I try to install drivers for.
Device Manager \ Human interface devices \ USB input device
This device is working properly.
Tony