Often found under the filename 011920hd.mp4 , corresponding to its release date (MMDDYY) and high-definition format.