[Python-ideas] Renaming json.load()