Hi Tintin

I succeeded downloading that video by using the Video DownloadHelper extention.

Alternatively you can download the file here: https://filetransfer.io/data-package/o3urJotl/download
...