If the above is true, then what's the tux file doing on the HD?

Because that image is used for the visuals TuxMuch, TuxTooMuch, and Tubular. The fact that it happens to be the same images as the "Logo" visual is a coincidence.