I agree that we should do more explanation for win64, and as a separate page. I just meant with this to correct the documentation which implied that only win32 worked.