Почему вдруг? GIF предназначен для любых малоцветных изображений, а не только для анимации. Но да, в данном случае PNG может обойтись меньшим количеством байт, сохранив картинку неизменной. Вот, 3 763 байт в PNG против 7 460 в GIF.
о / с.' 1<с *?’ :»'■ . с ■»' : 0 » г с >. • G г Э\9- п • . - сс с : о с -. ».с*•; . * о. ;с э 5 с • С С >* ‘mV» »’"‘с* v'^' . г с •>•* с* * Г 5 • 5. ' *• * .'с .Чс? е • С * с -с . г ^ • • с ч ■» ' X * .*< .< с: .Сссчь;\ >?.^ Ч О •_ ч с. с . О с ¿ V г. * С с с ‘ • с * •. О:С »•;/
Отличный комментарий!