+ href="http://sourceforge.net/projects/refind/files/0.4.7/refind-bin-0.4.7.zip/download">A
+ binary zip file</a></b>—Download this if you want to install
+ rEFInd and/or its filesystem drivers on an <i>x</i>86 or <i>x</i>86-64
+ computer and have no need to test rEFInd first by booting it on an
+ optical disc. This zip file package includes both <i>x</i>86 (aka IA32)
+ and <i>x</i>86-64 (aka <i>x</i>64, AMD64, or EM64T) versions of rEFInd.
+ Which you install depends on your architecture, as described on the <a
+ href="installing.html">Installing rEFInd</a> page.</li>
+
+<!--
+<li><b><a
+ href="http://sourceforge.net/projects/refind/files/0.4.7/refind-bin-gnuefi-0.4.7.zip/download">A
+ binary zip file (built with GNU-EFI)</a></b>—This package is just
+ like the preceding one, except that it was built using the GNU-EFI
+ development kit rather than the TianoCore EFI Development Kit 2 (EDK2)
+ that was used to build the other binary. I originally used GNU-EFI to
+ develop rEFInd, but the GNU-EFI toolkit doesn't support the legacy
+ (BIOS-mode) boot calls on UEFI-based PCs, so I now consider the
+ TianoCore build to be the primary one. (Macs can boot legacy OSes using
+ either build.)</li>
+-->
+
+<p class="sidebar"><b>Tip:</b> If you want a bootable USB flash drive, download the binary zip file or CD-R image file, prepare a USB flash drive with a FAT32 ESP, and then use the <tt>install.sh</tt> program's <tt>--usedefault</tt> option, as in <tt class="userinput">bash install.sh --usedefault /dev/sdd1</tt> to install to the first partition on <tt>/dev/sdd</tt>. This procedure should work even on a BIOS-booted computer.</p>
+
+<li><b><a
+ href="http://sourceforge.net/projects/refind/files/0.4.7/refind-cd-0.4.7.zip/download">A