At the moment I've gotten into a habit to download any exe with a .txt extension Save target as ---> whatever.exe.txt or whatever-exe.txt Bingo. If you want to run it, just change the extension from txt to exe. Works for me. Or if you want to save it as a zip whatever-exe.zip But make sure you stick to your own convention so you remember what the original file extension was :)

Silke