Re: [Tei-council] Stylesheets: rub out tei: prefix?