[Python-ideas] Re: Renaming json.load()