16 Dec
2018
16 Dec
'18
4:26 p.m.
The error messages that appeared before the grub menu are gone. I thank those who coached me through the fix.
It seems the size of the font in the grub menu is not under my control. Realistically, there's nothing I/we can do about it. So I'm closing this thread.