Has anyone installed grub2 on F13? If yes, did it work OK? did you have to manually modify any files in /boot/grub? If it did not work, was it easy to get back to legacy grub?