David Vanderson:
> This makes the most sense to me, I'll put it in the draft revision I'm writing.

Okay!  If you could post proposed revisions as a unified diff
("diff -u"), or do it as a git branch from the readable "develop" branch,
that'd be great.

--- David A. Wheeler