guiでgrubの設定を変更するには、mint 20では
sudo apt install -y grub-customizer
することになるのか

めんどくさいので設定ファイルをテキストエディタで編集する気にならない
446バイトのレガシーシステムしか知らん