docs: update deprecated PEP URLs to peps.python.org
docs: update deprecated PEP URLs to peps.python.org: a task in repo2rlenv-pr-diff (Harbor dataset). Title: docs: update deprecated PEP URLs to peps.python.org
The task
**Title:** docs: update deprecated PEP URLs to peps.python.org
Part of FineEnvs/repo2rlenv-pr-diff.