Feature suggest - better filenames when downloading

Today if I download a video (by right-clicking in web ui), it will be named "get_file.mp4". Would be nice if they instead were called "Cameraname-YYMMDD_HHMM.mp4" or something like that.