I did as Samuel suggested.
The good news: No error messages (re-)appeared before the grub menu
showed up.
The bad news: I did not notice any differences in the grub menu itself;
the font still borders on being too small for me and needing a
magnifying glass.