> FYI, I just ran my gif to png converter across the 
> graphics in the doco included in 3.33RC4 and the size 
> dropped from 380279 bytes for the gifs to 238162 bytes 
> for the pngs.

That's a good suggestion - I'll try to convert the images 
for the next release - But some browsers won't be able to 
display it, and that's a problem (very old windows 95 
installs, for example)