> I believe this fixes the problem.

Unfortunately, it makes things worse.  Now GRUB doesn’t even bother to
show the menu; I get straight into the GRUB shell.