I really loathe GIF for screen recordings: they are huge, they look terrible due to the 8-bit color pallet and low frame rate (in a desperate attempt to make them less huge), encoding is slow (in my experience at least, probably no hwenc available?) and they are expensive to render. There’s hardly any reason to use GIF when you can use a video instead — Imgur did exactly that with their GIFV which is just an H.264 video IIRC.
Unfortunately there are still many places where only images are allowed (e,g, GitHub README). HEIF is supposed to solve this problem but support is apparently abysmal.[1]
Anyone aware of any progress on a replacement of GIF?