Fredo6 can back me up on this, but only if I am right! Here is a rough breakdown of those options:
MP4, pretty sure that means an .mp4 of an H.264 video track. The files size and quality are down to the data rate. It’s the format used in Blu-Ray I think, and the main format in YouTube, Vimeo, etc. You could get away with 2 mbps for moderately big images that have to look ok, and you would get decreasing amounts of gain when you go above 8 mbps.
MPG is, I think, 320x240 video, of not terribly good quality. Would be handy if your video needs to play back in Powerpoint Version 1.
AVI is another container format. The video may be uncompressed or compressed, and I’m not even sure what CODEC it would then use.
GIF is animated GIF I imagine, and probably custom 8 bit color.
FLV is the Flash video format. It’s what YouTube used before switching to H264. I’m curious if the codec is H.263, or On2 VP6. The latter one is reasonably decent, but not as good as the modern CODECs.
MOV is a container format, and could include almost any kind of CODEC. In this case it appears to be H.264. Updating that to H.265 would be nice.
WMV is a modern alternative to AVI. The CODEC it used to use was comparable to On2 VP6, and not far behind H.264. I read that you can get HEVC CODECs for it, which would be the same as H.265.
Ogg is a non-MPEG committee set of codecs. The video CODEC is called Theora, and would be useful for stubborn Firefox users. It ought to be comparable to H.264.
WebM is much the same thing, only it’s for stubborn Chrome users.