That’s real. I once wrote a quick & dirty bookmarklet to disable all GIF animation on a page because even fairly unremarkable-to-most-of-us GIFs are uncomfortable for an epileptic friend. It is still on https://alanhogan.com/bookmarklets