use https://www.videolan.org/vlc/ apparently you don't have some codecs, I recorded using the atari800 emulator, it's not a perfect solution so you can beat the number of my steps
EDIT: I converted AVI to MP4, I believe you can see now solution in your browser.