if there is a next time you want to edit the /etc/default/grub file you can do it on Mint with this command in the terminal
That will bring up the xed text editor which is default in Mint 20 and it's much more intuitive than nano. Not better but easier. Good luck. enjoy the learning 
Code:
xed admin:///etc/default/grub