True, but… When MBR Grub drops to rescue or doesn’t appear at all, it’s not only difficult (at least for newbies) but somewhat random if you can actually boot a given OS. With EFI Grub, I’ve often managed to boot using BIOS boot override to launch a usable Grub configuration.
cut is actually next to useless, because it cannot understand that multiple spaces can still be a single separator in most text files in /etc. You have to use AWK.
Actually one day before Christmas in Finland and other Nordic countries. I don’t know if Linus still celebrates Christmas like that, having resided in the US for a long time already, but the big celebration is here always the 24th of December, and 25th–26th is mostly just resting after it.