On 30/07/14 at 09:37 -0400, David Prévot wrote: > - - documenting in the previous Subversion repository that it moved (and > remove it to avoid contributions there). Done. Lucas