Win11 seems to have confused USB driver

[Jeff-Haas]

I had previously used my Digispark boards with Win 10. After upgrading to Win 11, I couldn't get this core to upload or flash the bootloader. The answer was to use Zadig to change the USB driver. I found the solution in post #8 here:
https://forum.arduino.cc/t/digispark-attiny85-usb-not-recognized-by-windows-11/1375092/7

Once I did this then everything was OK.

For future users, here are the steps:

Connect the Digispark to your computer.
Download the Zadig driver installation tool from this website:
http://zadig.akeo.ie/
Run the downloaded file to start Zadig.
The "Zadig" window will open.
Select "Unknown Device #1" from the drop-down menu in the "Zadig" window.
If it doesn't show up on the menu, then select Options > List all devices from the Zadig menus and check again.
Verify that the "USB ID" field in the Zadig window shows "16D0 0753"
ⓘ This is the USB VID/PID identifier for the Digispark board.
Click the ▴ button to the right of the "Driver" selection field until you see "libusbK".
Click the "Replace Driver" button.
An "Installing Driver..." dialog will now appear.
Wait for the driver installation process to finish.
Click the "Close" button in the "Driver Installation" dialog.
Close the "Zadig" window.