12 Dec
2018
12 Dec
'18
12:51 p.m.
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.