Extracted GIF's have the `.png` extension which needs to be changed manually.
Extracted GIF's have the
.pngextension which needs to be changed manually.