Michael, how is this supposed to work? I assume that the distro name is taken from /etc/default/grub, but who's supposed to change it on update?