このことがlinuxの公式マスコットとしてペンギン『tux』を選定するきっかけとなった。