For me, it was mainly that the GIF would autoplay (so to speak) on mobile, whereas video would not. I’m also adding the top part of the window as an SVG and the shadow in CSS, and the whitespace left and right of the content in the window varies based on screen size, that seemed easier to do with a GIF.