>>2>>4that only explains why .mp4s have displaced .gifs, it doesn't explain why websites mark .mp4s as .gifs rather than just serving you an .mp4 file