The name of Mark Pincus's dog could be considered Zynga trivia, but this sounds like personal trivia about a Unix developer. I do hope Pike expounds on some of the stories behind these.