migrating grub from BIOS to UEFI loses /etc/default/grub

[Harald Dunkel <harald.dunkel@aixigo.com>]

Hi folks,

if I migrate from grub-pc to grub-uefi, then grub-pc.postrm
removes /etc/default/grub on the final purge.

grub2 doesn't provide much information in its man pages, but
AFAICT /etc/default/grub is still processed for UEFI, so why
is it deleted?

Regards
Harri