[Json] Generators

[Stefan Drees <[e-mail]>]

Starting this also as a new thread to not break symmetry (Parsers have 
been forked already by Paul).

Starting from my last proposal before fork at [1] I hereby propose to 
change the section on Generators from the OLD:
"""

5.  Generators

    A JSON generator produces JSON text.  The resulting text MUST
    strictly conform to the JSON grammar.

"""

into the NEW:
"""

5.  Generators

    A JSON generator produces JSON text that MUST strictly conform to
    the JSON grammar.

    Generators MUST NOT duplicate names in objects if they can avoid or
    detect such duplication.

"""

This is intended to be "flanked" by the proposal in the sister thread 
cf. [2].
As compared to [1] in the above proposal I have replaced the ". The 
resulting text" with a simple and equivalent " that" as compared to [1] 
and also threw a fine grained MUST into the ring pairing well, with the 
one in the Parsers section [2].
This "MUST NOT duplicate ... if" reads pretty soft for implementers, but 
should be the only consensual non-breaking way out of the historical 
dilemma of not enforcing it for generators in the first place.

What do the others think?

References:

[1]: http://www.ietf.org/mail-archive/web/json/current/msg00689.html
[2]: http://www.ietf.org/mail-archive/web/json/current/msg00700.html

All the best,

Stefan.