Trying to resolve #96, this squeezes the last bits of metadata from PNG logos where applicable, to make sure there are no color space variations.
(Previewing the changeset in both WebKit and Gecko on macOS, I see both "before" and "after" green as #3C7A1C FWIW, so the color profile issue observed may in the end be something just locally, this all seems A-OK.)
Trying to resolve #96, this squeezes the last bits of metadata from PNG logos where applicable, to make sure there are no color space variations.
(Previewing the changeset in both WebKit and Gecko on macOS, I see both "before" and "after" green as
#3C7A1C
FWIW, so the color profile issue observed may in the end be something just locally, this all seems A-OK.)