The file was named setup.mini . No extension. He ran it in a sandboxed virtual machine first, of course. He wasn’t an idiot.
Here’s what you need to know: