Generating animated GIFs from games.