json Minor customizations for Python standard library's json module A temporary workaround while we await new code's acceptance into the Python trunk