PEP 665: link to "replaced by"

[davidszotten]

Some peps replace other previous peps. it would be nice if the page for replaced peps also linked to their replacements

[hugovk]

Please can you give an example?

[davidszotten]

https://peps.python.org/pep-0751/

[davidszotten]

(this was prompted by me trying to find the new one and accidentally initially landing on the old one)

[hugovk]

We have a Superseded-By header for this.

For example, compare https://peps.python.org/pep-3153/ -> https://peps.python.org/pep-3156/

Let's also add Superseded-by: 751 to PEP 665: please see PR #3875.

[davidszotten]

🎉 thanks!

[davidszotten]

looks like there are a bunch more inconsistencies between the replaces and superseded-by (thanks peps api!)

should they all be in sync? do we care enough to fix? to add some tool to detect future ones?

e.g.

-    "3124": "245, 246",
-    "402": "382",
+    "387": "5",
-    "426": "345",
-    "443": "245, 246, 3124",
-    "449": "381",
-    "452": "247",
-    "464": "381",
-    "487": "422",
-    "600": "513, 571, 599",
+    "600": "599",
+    "621": "631",
-    "723": "722",
-    "742": "724",

[hugovk]

@AA-Turner What do you think? ^