__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

wget -O pgassistant.gif.raw.gif 'https://github.com/nexsol-technologies/pgassistant/blob/main...'

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.