Seems some modern software have forgotten that GIF is not always a video format, it was once used for single-frame graphics like jpeg, yet smaller file size and much less lossy when using a small number of flat colors. Nowadays I have to convert them to PNG to fully use them properly.
#oldmanyellsatcloud
@mawr @Mycroft It is possible to reduce PNG to 8-bit or less color depth using an indexed mode similar to GIF, where it should either be smaller or about the same size as the original GIF. Agree that there's no real benefit to converting other than to appease brain-dead software though.