On 17 June 2014 12:45, Tim Northover <t.p.northover at gmail.com> wrote: >> Is the patch OK to commit as-is now? > > I think so. I'm happy to leave cunning plans for another day so go for it! Agreed. --renato