I don't normally have to deal with GRUB in my regular Linux usage apart from the boot menu. Since everything's set up correctly on installation, I can just let it be. There have been a few times I ...