The videos work if you open the .txt files in a media player like VLC. You can also pull out the specific links from the .txt file (ie. the "https:// manifest-gcp-us-east4 ... " for the "rendition.m3u8" and convert them from a program like FFMPEG. I'll leave that to whoever wants to upload and host those files though.