• Change is either:
  • To a Draft PEP
  • To an Accepted or Final PEP, with Steering Council approval
  • To fix an editorial issue (markup, typo, link, header, etc)
• PR title prefixed with PEP number (e.g. PEP 123: Summary of changes)

Addresses Petr's editorial comments, apart from the PEP title. I'm not sure it's a good idea to change the title at this point.

📚 Documentation preview 📚: https://pep-previews--4477.org.readthedocs.build/pep-0788/