The issue with the MP4 format not opening has now been fixed, and I’ve released the update, so it should work now.

down.blue could indeed also solve my problem, but I hadn’t come across it before.