Blippy co-founder here. Yes, GIF is a really old format. We have to work a lot on optimizing for performance. Surprising that it is the only popular one that allowed any animation. Others like Animated PNG did not take off.