The real bottom line is that unless you're running a rare handcrafted 3rd party kernel driver for something and/or don't have a Core 2 Duo CPU, you should just reboot with 6-4 held down or whatever the appropriate magic is and then the autodetect will kick in fine.
I will not change the instructions. Always ending up with a safe working executable is my first priority, especially for Mac users.