Re: F37 proposal: BIOS boot.iso with GRUB2 (System-Wide Change proposal)