> > I tried a conversion to PNG and the file reduced from 43K to 31K. > Such a small difference hardly seems worth the bother. >
Appreciated. Did you try grayscale or black/white bitmap? PNG support various pixel formats including ones that're irrelevant in modern time.
