For a while there, there was a fork of GIMP that simply changed the name to Glimpse. That was the only one I felt comfortable mentioning in professional contexts.

“File types” like avi, mp4, etc are container formats. Codecs encode video streams that can be held in different container formats. Some container formats can only hold video streams encoded with specific codecs.

They signed up to brutalize brown people, not build houses.