oot option; booting in this way
	eliminates the problem for macOS, but not for Linux and probably not
	for Windows. A better solution is desirable. See <a
	href="https://youtu.be/tgTMxB-ffjM?t=3m44s">this YouTube video</a>
	and <a
	href="http://askubuntu.com/questions/866920/limited-resolution-booting-with-refind-on-imac-5k">This
	AskUbuntu question and answers.</a></li>

    <li>Some EFIs have bugs that cause the allegedly case-insensitive
	<tt>StriCmp()</tt> function to perform a case-sensitive comparison