Should the grub menu entries look all alike?

I too believe that is the intention. It makes sense. I just can’t figure out what prevents 90-loaderentry.install from overwriting the file for everyone but me! :confused: (Yes coming later and overwriting the file is more accurate, “winning” was just loosely speaking.)

Would you (or anyone else) consider adding -xv on the first line of 90-loaderentry.install, the #! line, and then run kernel-install manually once more? I’d appreciate it very much.