Grub Font Change Error

I am dual booting Windows 10 and Fedora 38 on a Lenovo C940. Screen res. Is 3840x2160 and, therefore, the GRUB menu is quite small. In an attempt to increase the font size on the GRUB screen, I have tried to follow the directions on this site.

Consequently, I have made the following changes to my /etc/default/grub file. Note the change to the GRUB_TERMINAL…line and the addition of the last two lines:

GRUB_DISTRIBUTOR="$(sed 's, release .*$,,g' /etc/system-release)"
#The following line replaces the previous
GRUB_CMDLINE_LINUX_DEFAULT="resume=UUID=47fd7e34-a729-49e2-97f0-a1c8b0acc75f rhgb quiet"
#The following 2 lines added

These changes sort of work in that the menu is now larger and readable. However, the menu changes from correct to error messages. On machine start-up the menu is correct and works properly as long as I only select Fedora to load. If I select Windows, it works OK, except if I leave Windows by restarting (rather than re-boot) the system, the menu changes to a Fedora only list followed by an error message saying:

ERROR…GRUB-CORE/COMMANDS/efi/TMP:124…COMMAND FAILED (it didn’t stay long so is not exact). Pressing “any key” results in loading Fedora. After a re-boot, grub is back to correct again.

Do you see the error in my grub entries?