youtube-dl bash shell function: prefer mp4, and timestamp with download time
In case it’s useful, a quick Bash shell function which takes a single argument (a web address that is processable by youtube-dl) and returns the best quality mp4 version (in case you need to deal with a device that doesn’t like modern video encodings/containers), with the download time as the file’s modification time timestamp (useful if you have a directory of downloaded videos and want to quickly see the last N files you downloaded, rather than the files being sorted by upload time).