GIFs are last millennium tech. 256 colour dithered video is shit. It's the digital equivalent of frickin' VHS. It's not even what the format was invented for, and it's been shoe-horned into a solution for web video as a patch-work stop-gap from the Internet's infancy. Now we've invented proper alternatives, nobody's using them, still dragging GIFs along. It's like the Imperial system not being dropped in favour of the Decimal - it's moronic. As a premiere tech site on the Web, can we set an example for the rest of the Internet and enforce no GIFs, making people use video convertors instead? Obviously a few small GIFs can make sense such as an animated diagram which compresses moderately efficiently (although even then animated PNG may be better). For all other clips, something like WebM should be used and enforced. The current no-limits policy on animated GIFs was set in 2006, before WebM and HTML5 existed. It's time for an update.