You're right, besides the reference to the logo competition there isn't much info on why Tux is a penguin. Wikipedia is better at recording the lore https://en.m.wikipedia.org/wiki/Tux_(mascot)#Origins