(with Mr. C's approval)
Choose an output image format and set any optional image attributes below. Some attributes are only relevant to specific output formats. Next, press output to convert your image to the selected format. The image is converted and you are given an opportunity to download it to your local area.
Make sure that .gif is checked