Hi Friedrich
Nope, the IDE download works but then still fails to install signtool.exe. I went around the block a couple of times here, excluding folders from Windows Defender and my favourite AV (the one you love, ESET :-)) and disabling both, and nothing would work.
BUT: I then found an old signtool.exe from 15 August, 2016, sized 75776 bytes, copied it and it works.
So: Problem solved, but the mystery lives on.
Regards
Daan