Is your feature request related to a problem? Please describe.
When downloading the file from the media player, all downloads get named download.mp4 rather than the video title.
Describe the solution you'd like
I'd like the downloaded file to have a logical name, for ease of identification.