Talk:Pecky

Tux? I remember his name being Pecky. Where does it say his name is Tux? isn't Tux the Linux Penguin?