In line:
> On May 12, 2017, at 6:23 PM, Gorry Fairhurst wrote:
>
> More below.
>
> On 12/05/2017, 16:27, Michael Welzl wrote:
>>> On May 12, 2017, at 3:24 PM, Gorry Fairhurst wrote:
>>>
>>> See below.
>>>
>>> On 12/05/2017, 13:31, Michael Welzl
Hi,
Thanks a lot for all your comments (plus the nits we authors of the other
-usage draft received offline).
I’ll try to address them all - but there are a two technical questions in this
email that made me stop, so I’ll cut all the editorial stuff away and discuss
them here - in line below: