Working with Computers since the introduction of the HP 21MX E-Series in 1976 I learned the same year to never trust software engineers. I always rely on common sense instead.
This implies to always install to bare-metal.
Users losing their EFI System Partition may want to boot into a netinstall iso and click “More > Boot Linux System > Select a system to boot”.