Pierre Neidhardt <ambrevar@gmail.com> writes:

> Yes you are right, it all works now.  I've always been stupidly confused by
> which tarball was which on Github :(  Sorry for the confusion.

Excellent.  Yes the distinction is not very clear... :/

> I'll merge now.

Woohoo :-)