Banners in GIF format?

[Michael Herz]

Hello,

just a quick hint, cause I couldn't believe it. Your banners on 
http://www.debian.org/banners/ are in .gif format???

Shouldn't we quickly change it to png?


With best regards


maik