Tux is the official Linux kernel mascot mainly because he embodies Linus: https://www.techrepublic.com/article/tux-a-brief-history-of-the-linux-mascot/
Xenia is an increasingly popular mascot mainly because she embodies the larger community's diversity & the transitions & transformations it enabled: http://xenia-linux-site.glitch.me/ #Linux30
@arielmt Isn't Tux an abbreviation of tuxedo? You know, tuxedo, penguin.
@yuki The TR article gives a more convoluted backronym explanation & doesn't mention this, but yes, you're right.
@arielmt always knew that Tux was a smug asshole
@arielmt I don't really like her design, tbh.