You couldn't technically write a program that produced gifs without paying for the rights. When I generate the revenue to update the servers, that will change. I can't resize the image without creating a new one. Therefore, the gif becomes a jpeg.