Niu Danny wrote, on 24 Jun 2025: > > > > > 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?
I just used the default PNG export options in GIMP (with max compression). If you want to experiment with different types of PNG, feel free, but I think SVG is the way to go if we are going to change to a different format. -- Geoff Clare <[email protected]> The Open Group, Apex Plaza, Forbury Road, Reading, RG1 1AX, England
