I was looking through the config file for TIC-80 (I'm a customization nut 馃槉) and I noticed a line near the very bottom...
GIF_LENGTH=20 -- in seconds
Is it just me or does this sound like support for animated gif sprite sheets?! Is this possibly what it's for?