Originally Posted by
jpezaris
I've had need to use the web site a lot recently, and, boy does that animation get old fast.
Back in the nascent years of the internet, having evolved from gopher to HTTP, we had an agreement that animated gifs were bad. Unfortunately, we failed to put such agreement into writing.