@Suiseiseki that's a pretty interesting finding. Everything works completely fine for me though, at least when I visit https://freesoftwareextremist.com. How did you determine the file extension? When I right-click on the video and press "save video as", I get this filename: c6bfd170ccb28a2372fa9b69ebd3da3f14edd2bdb806947357dae25336407a32.mp4 so everything appears to be fine.