Widows defender has a built in facility that allows the user to disable it for a short period. This allows 'problematical' files to be downloaded without any virus blocking. Defender automatically reinitialises after a short period.
The setting is Settings->'Virus & threat protection'->'Virus & threat protection settings'->'Real-time protection' Maybe this information should be added to the windows download instructions.
