-Steve
This is indeed correct. If you have a .GIF, you can always convert in .PNG. The PNG format will beat the .GIF format with almost half of the storage space.