bestvideo+bestaudio has been flip-flopping ver time and releases between mp4 and webm though. As I'm mostly using this for consumption on an iPad, I prefer mp4,

bestvideo+bestaudio has been flip-flopping ver time and releases between mp4 and webm though. As I'm mostly using this for consumption on an iPad, I prefer mp4, so I'm happy to have found a way to get the best possible mp4 version without having to go format hunting.