2 videos are now generated, mp4 and ogg.
Removed vide.ogg from git