GIF missing as export format

I’m trying to take a short video and export it to an animated GIF, but the GIF format is no longer available in the Formats listbox.

I’m using version 17.11.07

This was discussed here a while ago. Suggest doing a search. I think FFmpeg no longer supports GIF. Only solution is another application or just keep an older version installed just for GIF. -=Ken=-