Even when you don’t save it with the .gif extension, you can still open it in an image editor and it will open as gif because the file header still says it’s a gif
Even when you don’t save it with the .gif extension, you can still open it in an image editor and it will open as gif because the file header still says it’s a gif