Has anybody else noticed this? When I booted up this morning (11.1) my grub theme had changed from the Green OpenSUSE one to a Christmas one with penguins wearing Christmas hats and snow above the selection box.