we badly need a copy pastable video format just like gif. The default html5 video is too video-ish not gif-ish enough.