__264516 Feb 12 11:44 pgassistant.gif
22782965 Feb 12 11:46 pgassistant.gif.raw.gif
_2120322 Feb 12 11:55 pgassistant.gif.av1-20.mp4
__245780 Feb 12 11:56 pgassistant.gif.av1-55.mp4
NEARLY everything can use AV1 and you don't need your clients to install a licensed codec if their OS didn't happen to include one. https://caniuse.com/av1 Far more than https://caniuse.com/hevc
ffmpeg -h encoder=libaom-av1
ffmpeg -i pgassistant.gif.raw.gif -c:v libaom-av1 -crf 20 -cpu-used 8 -movflags '+faststart' -pix_fmt yuv420p pgassistant.gif.av1-20.mp4
ffmpeg -i pgassistant.gif.raw.gif -c:v libaom-av1 -crf 55 -cpu-used 8 -movflags '+faststart' -pix_fmt yuv420p pgassistant.gif.av1-55.mp4
A place to start from at least, note the 264516 gif is what's currently on the landing page, with the wget command to grab the raw file.