You're welcome. I didn't realize there might be an issue with the direct mp4 link not playing for some. The direct video link gets displayed on the page in its normal resolution, but the embedded video on the archive.org page gets stretched to fill the page. I have intentionally been sharing the direct link to videos over the embedded page link (the added "if_" or "im_" in the links) to avoid this stretching of the videos.