视频文件格式有MP4、AVI、MKV、WEBM等。想下载某个视频，查找并选择正确的视频格式，而不是“AllFiles”格式。不知道如何选择，可以查看视频的来源页面或者相关的描述信息，通常会提供关于视频格式的说明。