David Howells Thu, 19 Oct 2017 15:39:40 -0700
I've pushed a new version to git that fixes bugs in patches 1 and 2.
David