On Mon, Jul 9, 2012 at 5:51 PM, Carl Smith <carl.input at gmail.com> wrote: > I think it's a mistake in the example given. I'll check it. If so, then only > the notebook needs editing. But if there's inconsistency between how gifs are handled compared to pngs, we should fix that.