On Fri, 2 Oct 2015 18:26:50 +1300, I wrote: > On Sun, 6 Sep 2015 22:12:45 -0700, Bryce Harrington wrote: > >> Anyway, post patches to fix those things up and we can review as we >> go. > > OK, here is a resubmission that gets rid of that external image > altogether, and substitutes my GIF animation. Any verdict on this?