I just noticed the change of the grill's name from "Mike Tyson Grill" to "Famous Pugilist Grill." I actually find this new name more amusing, but I'm curious about the name change. Did Mr. Tyson's (or perhaps Mr. Foreman's) legal folks become grumpy? Or was it a change to keep everything Glitchy and free of direct references to the world outside Ur? Or was it some other reason?
As I said, I like the change; I think it feels more Glitchy than a direct Earth-famous name. But incessant curiosity is nagging at me...