在HTML5视频元素中下载文件名

Question

有人知道如何设置html5 <video>标签的文件名吗？ 我尝试了下载属性，但它仅适用于<a>或<area>标记。