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