[META] Consider: Consolidate all Typing PEPs into a separate numbering system

TIL :slightly_smiling_face:

I’ve had a messy Javascript bookmarklet for years that zero-padded a number and constructed the canonical URL. And now it turns out there’s a shortcut URL that does that for me… Thanks, whoever added that!

(It would be nice if usability features like this were publicised better, or at least documented somewhere. But I don’t want to be ungrateful - it’s quite possible that neat features like this wouldn’t exist at all if whoever added them had needed to mess around updating docs etc.)

2 Likes