RE;: which grub to edit?