FYI “PEP 425” shows up in blue for me, as though it were a link, but for some reason there doesn’t actually appear to be a working link when I click on it. Weird.
Same for me. I assumed it was a glitch, but it’s not obvious how. There’s no link target showing up as a tooltip in my browser when I hover over the text.