On 26 Aug 2002 at 12:34, Puneet Kishor wrote: > To those who maintain the demo archives... could all the gifs there be > replaced with pngs anyway so this doesn't come up. Actually, better yet, could be just place BOTH pngs and gifs in the demo release, that way the right files are there regardless of how the user wants to set up his system. Thanks, -Steve