[tei-council] Stylesheets group meeting 2018-07-03 summary