report 18.07: draft v0.9 editorial nit-picking.