> Just had a thought that might shorten the draft somewhat, how about
> issuing the definition of the ebnf as a separate RFC? This would remove a whole
> section.
I suggest you send your suggestion to the RFC editor; as far as I'm
concerned, this is something that the IESG could just decide to do if
it chooses. From the point of view of the working group, there is
nothing to gain and much to lose.
Larry