Tux es el nombre de la mascota oficial de Linux.