Planet Knuth

Wow… For perhaps the first time, I’ve just learnt something from a first-year report I’m marking. Apparently, Donald Knuth has a planet named after him. Yes indeed, ladies and gentlemen, we hereby present, Planet Knuth.