[Python-checkins] [3.13] Docs: amend json.dump() post gh-128482 (GH-128489) (#128493)