Doc WG Meeting June 06, 2019

We will have a doc WG call tomorrow.

Agenda: https://docs.google.com/document/d/1RGb0NOp0J9QSIrMrZ6wokl16RbSfKHy-6NyTpOQdPa8/edit#