three .png files from which it's built. Build now depends on icotool, which is in Debian and so not a problem. The resulting .ico is probably 3x the size built with winders tools, so eventually I should fix icotool or nag its author.
