As I was booting my system after today's Rawhide update, I noticed that there were no Fedora kernels on offer at all. It seems like, once again, grubby is going weird and refusing to add lines for new kernels to grub.conf as they are installed. Is this, perhaps, a subtle hint that I should switch the system to grub2? :) Thanks, jon