Closed martinduke closed 5 years ago
Fixes #53.
Also, some editorial cleanup (including #48)
While I welcome comments on this, we are hours from the draft deadline from Singapore. I'll merge as-is and deal with feedback later.
Fixes #53.
Also, some editorial cleanup (including #48)