Yeah, GIF is an extremely old format and rarely used these days. You just still see files being called “.gif”, even though they’re APNG or MP4 or something else under the hood.