Hi. I'm facing an issue that if I leave 'rghb' in the boot line (loads plymouth) the fonts in the virtual terminals become bold. So before reporting a bug I would like to know F18s default /etc/default/grub (I upgraded from F17 with yum) as maybe 'rghb' was deprecated.