[docs] [issue10038] json.loads() on str should return unicode, not str

[Fred Drake]

Alternately, the Python implementation may be thought of as definitive
and the optimizations are broken.