All that it gives me is some white space where the video should be. I have tried with both mp4 and gif files, getting the same result. Here is a Google Drive folder containing the full thing.
Best regards,
Arpit
Embedding video or gif in TeXmacs, Arpit Babbar, 07/13/2022