Okay I found the problem with settings, Version 3.1.7.43 is uploaded now, should be live in the next 20-30 min. Very sorry about that.
Your idea with webm is fine as far as a HTML5 video format goes. That 42 mb gif would be smaller as a HTML video. Even if it wasn't smaller it wouldn't freeze the browser or cause any issues.
But it's not a fix for all gifs, that will only work for imgur hosted files. If that was gif uploaded to puush, or simply hosted somewhere else, there will likely be no fallback to HTML5 video formats.
I need to handle all gifs regardless of their host. I'm pretty sure I can do it, it'll just take some testing.
28-Feb-2015 11:20:49