So they should change to EFI only in BIOS to avoid the default Debian does, install to the Legacy BIOS or CSM. They should make sure they don’t get blessed with that mess. I’d put it in a Prep for install section along with the explanation as to why.