Either this is the shortest movie in history, or it's definitely not High Definition. A high definition copy of a movie is usually over 4GB large and upwards. It will definitely not be .avi extension, because .avi unlike .mkv does not allow upscaling (has to to with DVD vs. encode pixels as to get proper aspect ratio). VLC is usually a trusted player, whether good or not there are different opinions, but I don't like the fact it purposely tries to make you download VLC and opens a link. Be very sure it's actually the real videolan site and not some copycat trying to have you download malware on your computer.

The real site is VLC media player - Open Source Multimedia Framework and Player