On Fri, 27 Mar 2015 21:44:50 +0000 Peter Cock <p.j.a.cock at googlemail.com> wrote: > Let's settle on a repository name on that other thread... Whatever you all decide is fine by me. I am putting together some documentation that I will make available as soon as github's web interface is back up. Tiago