Added mp4, ogg and webm versions of alligator video for embedding