[tei-council] Prefixing ids with "tei_"

[Martin Holmes]

On 13-01-18 02:21 PM, James Cummings wrote:
> On 18/01/13 20:08, Martin Holmes wrote:
>> I never thought that was what the task was. My assumption was that
>> everyone wanted to keep the same ids (which are nice and short)
>> throughout the source, and only change them when rendering the
>> guidelines for the web, because it's only in the HTML output that this
>> particular issue occurs; no reason presumably to burden the ePub output
>> (for instance) with hundreds of longer ids.
>
> Hrmmm... I think that is an assumption. I don't care one iota
> what the ids actually are... I never look at them really (just
> use them in a variety of ways).  If processing the Guidelines
> once and using slightly longer ids would solve the problem once
> and for all (and just add the rule that all our ids start with
> tei_) then fair enough... that doesn't bother me really.

Does anyone else think this is worthwhile? Unless there's a chorus of 
ayes, I think I'm going to close this ticket without further action.

Cheers,
Martin