Excellent hack! Should definitely be possible to make an animated gif to jpeg converter. I guess the animation could be slowed a little by repeating frames.

You can also deliberately have the server sending data at the right rate for the right playback time.

Easy enough to add a delay() each frame if your server is python/nodejs/PHP/whatever