Yeah, sometimes video formats are better, but for some purposes AnimGIFs are fine. How difficult it seems to pick a default codec for the web+mobile web? EDIT

Yeah, sometimes video formats are better, but for some purposes AnimGIFs are fine. How difficult it seems to pick a default codec for the web+mobile web? EDIT: Looks like everyone is concerned with it being open source, but they don't want to pay for it? Or they can pay for it and get a commercial license. Either way, you should be forced to pay! XD