On Thu, Jul 16, 2020 at 9:27 PM Wolfgang Corcoran-Mathe <xxxxxx@sigwinch.xyz> wrote:
 
Thanks.  Pull request opened.

I've merged and pushed the pull request.

Do you (or John) plan to make any clarifications to the document as well?