Dear Maintainer,

I have edited /etc/default/grub on my system to include the following
line:
GRUB_DISABLE_OS_PROBER=false

When installing OS updates, at least through gnome's "Install updates
before shutting down" option, possibly even through `apt upgrade`, this
line gets commented out (the line start with a # character) and the
dual-boot Windows installation no longer shows up in the grub boot menu.
Editing the file, removing the # character, and running update-grub
makes the Windows entry show up again.

I actually expect this file to not be overwritten by an upgrade if it
has been edited, like most other files.