EDIT: Oh neat, it gets converted to MP4, just as I was told. Now all that needs to exist is a good way to make the video larger, since it’s too small to see on the thumbnail and too large on fullscreen…