On 28 Jul 2013, at 20:14, Andreas Gohr <andi@xxxxxxxxxxxxxx> wrote: > A public repo would be helpful. > Duly made public. (I had left it private because I'm new to revision control and don't know what I'm doing yet.) Thanks, Ian