Responses interspersed among excerpts.

> Thanks for calling attention to the newest issue.

Uhhh … you’re welcome?

> Wouldn’t this get an “i18n” label and a “TEI: Guidelines and Documentation” label?

Yes, I think you are absolutely correct. As you can tell by my lovely (but mis-guided) response on the ticket itself, I completely missed the first sentence. (Well, to be more precise, all but the last 2 words of the 1st sentence … my screen had scrolled such that I thought the 1st two words of the entire post were “on 4.2.1” because of the way that first para was wrapped. Sigh.)

Nonetheless, we still need the new labels, IMHO. 🙂

> I wonder if your “meta” label could just be called “GitHub” …

Sounds quite reasonable. (I suppose the difference would be whether we would keep the same labels if we moved from GitHub to some other hosting. Since I have no idea, I think it does not matter, either “meta” or “GitHub” would be fine.)