making demonstration gif 20x smaller

That gif needed to be smaller - it was bringing my browser to a screeching halt.