The original author suggested me to use gifsicle to resize the GIFs:
https://www.lcdf.org/gifsicle/
I tried it and the GIFs are working fine. However I still don't like the result, the best we can do is probably redraw them from scratch at a proper resolution.
@wodan16 yep it did a great jump lol, no problem