No matches were found for subject:"Bug#506232\: grub\-pc\: no easy way to change splash\-screens at boot\-up"