Hi,
In a previous post, you clear me that Documentation logo is only used for
documentation purposes. I think that it were more better if logo.gif have a
non-patented (and non-expired in some countries) extension.
So, I transformed the logo.gif to logo.png for that the second can substitute
the first in the next versions of kernel. Because png extension is more free
(the page http://www.libpng.org/pub/png/pngfaq.html#patents desconcerned me
about if it's totally free)
Xan.