Re: [Design-team] Fedora GRUB2 boot menu, from design perspective