[Python-ideas] Re: json library: non-standards-compliant by default, and what to do about it.