Yes, you are being more precise where I was being vague. What I suppose I meant was that in practice, if it has a ".mp4" extension then it'll usually work, and if it doesn't then it usually won't.