I have to say too, though, once you get the hang of the way an EFI system boots, it's really good for dual boot. I let the Linux installer mount the undersized existing one as /boot/orig_efi and made a new, bigger EFI system partition. Not only was the UEFI on that particular laptop fine with it, scanning both EFI system partitions for bootable stuff, but also, grub2 installed in the new one automatically included the Windows boot in the old one as a boot option.

Cool because nothing about how Windows boots is intercepted; you can just nuke the new partitions (or overwrite them with a new Linux installation). I still prefer a native Linux boot with "just in case" Windows option to WSL.