Ha, ik wist dat deze een keer handig zou zijn. Je kan inderdaad je GRUB theme veranderen, en ja, het geeft een persoonlijk tintje aan je PC