> Also, is "html5" the string that appears, or is the string actually the file name of the video?

Just a string `html5`, not a file name, etc.