要下载HTML5视频，可以使用以下方法：

1、使用浏览器扩展程序

Chrome浏览器：Video Downloader professional、Flash Video Downloader等

Firefox浏览器：Video DownloadHelper、Flash Video Downloader等

Safari浏览器：DownVid等

Opera浏览器：Flash Video Downloader等

2、使用在线视频下载网站

SaveFrom.net

KeepVid

ClipConverter.cc

Y2Mate.com

3、使用命令行工具

youtubedl（适用于多种平台）

youdown（仅适用于Windows）

以下是使用在线视频下载网站的详细步骤：

以SaveFrom.net为例：

1、打开SaveFrom.net网站：https://en.savefrom.net/video/

2、将HTML5视频的网址复制到网站的输入框中。

3、点击“Download”按钮。

4、选择视频质量（可选）。

5、点击“Download”按钮开始下载视频。

6、下载完成后，点击“Click here to download”链接，选择保存位置并确认。

7、等待下载完成，即可在指定位置找到下载的视频文件。