Puzzle about shape output format

[WWBman]

Pablo, I wonder if you could solve a puzzle for me.
Has the output format option for a shape ever been .gif?
I did an html only publish for a very old site and when I tested the site it produced errors of missing png files.
These missing png files were all shapes.
When I looked on the server index_0121.gif e.g. was there but not index_0121.png.
I did a full publish and index_0121.png was created and everything was fine (index_0121.gif hadn't been updated, still had a date of July 2020).

[Pablo]

Older versions used gif as output. But now the default output is png, because gif is limited to 256 colors.

[WWBman]

Ah, thanks Pablo, I thought I was going nuts!