This video is a trailer for the incredible short movie "Big Buck Bunny." This experiment proves that talented volunteers can produce a high-quality professional video using only open-source tools. Go to http://www.bigbuckbunny.org to see the entire video.
The video does not work, as expected. It has to be in the correct folder.
I shall try a short video clip to find out which format works.
The above videos did not work at all with the given codes. The mp4 format as shown reproduced sound but not video. Now I check with https://www.w3schools.com/html/html5_video.asp and try it with the only mp4. Note that HTML5 Video would work with mp4, webm, and ogg.