-<li>Remove the file for the version of rEFInd you're not using, as in
- <b><tt>sudo rm Volumes/esp/efi/refind/refind_ia32.efi</tt></b> on a Mac
- with a 64-bit EFI or <b><tt>sudo rm
- /Volumes/ESP/efi/refind/refind_x64.efi</tt></b> on a Mac with a 32-bit
- EFI.</li>
-
-<li>Optionally, remove the drivers directory for the architecture you're
- not using—<tt>/Volumes/ESP/efi/refind/drivers_ia32</tt> or
- <tt>/Volumes/ESP/efi/refind/drivers_x64</tt>, as appropriate. You may
- also want to remove some or all of the drivers for the architecture you
- are using; if you don't need them, they'll slow down the start process.
- See the <a href="drivers.html">page on drivers</a> for more on this
- topic. Note that Apple's firmware includes its own HFS+ driver, so the
- HFS+ driver provided with rEFInd is useless on Macs.</li>
+<li>Remove the files for the versions of rEFInd you're not using, as in <tt
+ class="userinput">sudo rm Volumes/esp/efi/refind/refind_ia32.efi
+ Volumes/esp/efi/refind/refind_aa64.efi</tt> on a Mac with a 64-bit EFI or
+ <tt class="userinput">sudo rm /Volumes/ESP/efi/refind/refind_x64.efi
+ Volumes/esp/efi/refind/refind_aa64.efi</tt> on a Mac with a 32-bit EFI.</li>
+
+<li>Optionally, remove the drivers directories for the architectures you're not
+ using—<tt>/Volumes/ESP/efi/refind/drivers_ia32</tt> or
+ <tt>/Volumes/ESP/efi/refind/drivers_x64</tt>, as appropriate. (No Mac uses
+ an ARM CPU, so you'd also remove
+ <tt>/Volumes/ESP/efi/refind/drivers_aa64</tt> You may also want to remove
+ some or all of the drivers for the architecture you are using; if you don't
+ need them, they'll slow down the start process. See the <a
+ href="drivers.html">page on drivers</a> for more on this topic. Note that
+ Apple's firmware includes its own HFS+ driver, so the HFS+ driver provided
+ with rEFInd is useless on Macs.</li>