How funny would it be if Carolyn Wilcox (creator of the muppet) had grown up a huge boxing nerd and decided to pass on the little-known real name of a somewhat obscure KO artist from her childhood to her ultimately massive contribution to pop culture? That's now my head-canon.