Nah, it’s not fixed for me. I thought the same before,
I am using silverblue as my main since F28 and had that iso installed but duplicated boot entries got irritating so cleaned my drive and reinstalled the F31 iso again, unfortunately the problem still exists.
Btw the grub menu should be hidden, it’s a change that shipped in F28. (You must be having multiple OS Dual boot)
Btw i noticed one bug… if i don’t go to grub menu and select the entry from there and upgrade some packages and reboot then kargs are applied.