GIF export settings - dithering?

Help/How To
6

Any idea how to export to GIF on GNU/Linux OS? I’ve got no “gif” option there :confused: Thanks