#Ubuntu update completely removed #Fedora grub entry today. Fixed. Why is that? Hard to believe.