Perhaps this could be done via a separate tool that could be launched
much like the shell or <tt>gptsync</tt>.</li>
-<li>Enabling users to eject removable media would be useful.</li>
+<li>The media-ejection feature (F12) should be extended to work on
+ UEFI-based PCs and early Macs. At the moment, it relies on an
+ Apple-specific EFI extension, and I know of no standard EFI way to do
+ it.</li>
<li>I'd like to give the user the ability to set custom options on a
single-boot basis, similar to what's possible in GRUB.</li>