I pushed the tagged release and the signature is attached here.
Thanks! But this .sig file does not do me any good without the tarball.
If you are not around to upload it for me by later today, I can just do a
make dist and sign that tarball myself.