It's a video served with the video/mp4 content-type, using the .gifv file extension. (Well, actually, the .gifv is just a web page that holds the <video> tags

It's a video served with the video/mp4 content-type, using the .gifv file extension. (Well, actually, the .gifv is just a web page that holds the <video> tags for the mp4, but...)