Version 1.26.25 now allows you to record game footage as animated GIFs... WOW!
Based on a suggestion from Shifty, backed by ishanpm and Gawain ;^)
NB. this feature requires the separate installation of the free open source software FFmpeg; all necessary instructions are provided in the settings menu.