GyfCat reports the smallest file size between the both WebM and MP4. If the MP4 ...

glitch on Feb 1, 2015 | parent | context | favorite | on: Mkcast – GIF terminal screencasts with key presses...

GyfCat reports the smallest file size between the both WebM and MP4. If the MP4 is smaller (or the WebM is smaller), it shows that in the textual information, regardless of video file presently playing. What's shown in the textual info is purely about the boasting in this case.

Still, that's definitely a file-size improvement over the GIF.

  GrimOpenDutchsmoushond.GIF:  8,714,192 bytes.
  GrimOpenDutchsmoushond.MP4:  1,137,305 bytes.
  GrimOpenDutchsmoushond.WebM:   378,363 bytes.

cooper12 on Feb 2, 2015 [–]

Ah, I see. Thanks for the explanation. That does make sense. And of course. I was just digressing. Your original point still stands.