I did exactly the same thing -- was looking at boottheme and wondering how to generate something other than the default. Never occurred to me to wonder what th

I did exactly the same thing -- was looking at boottheme and wondering how to generate something other than the default. Never occurred to me to wonder what the dice icon did.