New
#640
Good.
People purchasing 64 bit now have a choice - think that's been the case for a while - there is a note in the tutorial.
Those who already have the 64 bit files, and those with 32 bit can still make an iso in a couple of minutes.