Why are they still using grub? Part of the changes was thinning out grub for “security”, but systemd-boot exists and is way more secure. Is there a use case I’m missing?