Vincent Lefevre <vincent@vinc17.net> (2024-07-22):
After a recent grub2 upgrade, there are now duplicate "GNU/Linux"
in menuentry and submenu lines of /boot/grub/grub.cfg, e.g.
menuentry 'Debian GNU/Linux GNU/Linux' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-f3a51d21-c3a1-405d-b0fb-b0b25662b752' {
submenu 'Advanced options for Debian GNU/Linux GNU/Linux' $menuentry_id_option 'gnulinux-advanced-f3a51d21-c3a1-405d-b0fb-b0b25662b752' {
This also happens with fresh Trixie installations, and that looks
utterly silly… :(
There were a number of follow-ups by Vincent, it'd be nice if someone
could look into getting that fixed.