An earlier message (December 2018) from Marc Nieper Wisskirchen
mentioned some minor changes (in response to some minor comments from
me) but I don't think those got pushed to the repo. (Unless I am having
some caching or other weird problems, it seems like the most recent
draft is still Draft #2 of 2018-11-11.)
You're right. Here's a
message from Marc mentioning some changes since the last draft.
Marc, would you mind sending me your updates since draft #2? We can publish them and then reset the last-call date.
Thanks.