Andreas, /etc/grub.d/20_ipxe appears to be a file shipped by the grub-ipxe package built from ipxe source, which is maintained by the server team. I think it's for you to decide if this is what you want, not foundations.
I would add the caveat that /boot/ipxe.efi will not be bootable on SecureBoot-enabled systems and this is not something that will be changed.
Andreas, /etc/grub.d/20_ipxe appears to be a file shipped by the grub-ipxe package built from ipxe source, which is maintained by the server team. I think it's for you to decide if this is what you want, not foundations.
I would add the caveat that /boot/ipxe.efi will not be bootable on SecureBoot-enabled systems and this is not something that will be changed.