Re: [tei-council] Heads-up on a fix to P5 source files