Manche Anbieter von Videos erschweren es einem immerhin, indem sie den Namen nicht direkt im HTML-Quellcode stehen haben, sondern mehr oder weniger umständlich mit Javascript setzen. Aber mit einem Blick in die Entwickler-Tools hat man ihn trotzdem sofort.
Fieser sind beispielsweise noch Playlists, durch die der Client dann einzelne Häppchen hintereinander bekommt. Aber das ist z.B. mittels der Aufnahmefunktion vom VLC auch kein Problem.