Note: I will repeatedly use the colloquial term “GIF” here to refer to any looping animation. I have come to prefer the WEBP format for my animations that I post to Lemmy, but the term GIF has become somewhat of a catch-all for looping animations regardless of the actual file format used.