iPXE package. In my own testing, iPXE retrieves the
	BIOS-mode boot loader from some servers that offer both, which makes
	it useless on those networks. The reboot-to-firmware-boot-options
	feature in rEFInd 0.13.0 at least partially addresses this
	problem.</li>

    <li>The handling of encrypted local Secure Boot keys by
	<tt>refind-install</tt> could be improved. Specifically, if you
	install without encrypted keys and then run <tt>refind-install</tt>
	with <tt>--encryptkeys</tt>, or vice-versa, the scri