On Tue, 30 Sep 2014 13:01:35 +0200
Ulrich Mueller <[email protected]> wrote:
> >>>>> On Tue, 30 Sep 2014, Jeroen Roovers wrote:
>
> >> The same tags shouldn't be used for different things.
>
> > Then we might as well extend the DTD to have a required <email> tag
> > nested in each <herd> tag.
>
> But IIUC, the DTD must be changed also if the <herd> tag is removed?
> (Unless we want to leave a dead element in there.)
If people are that attached to <herd> then we should apparently fix it
instead of removing it, possibly by making it closely resemble
<maintainer>.
jer
