Re: [tei-council] More minor edits to tei-pm.odd