On Mon, Aug 6, 2018 at 05:29 PM, I wrote:
I was actually thinking of incorporating it, never mind linking to it!.
I have now
unthought that; I have included a link to it. (Don't go looking for it yet as it's still very much in nth draft, where n is an increasingly large integer.)
Chris
