Minor update for PEP 512

pep-0512.txt

@@ -135,7 +135,7 @@ Completion of the requirements in this section will allow the
 devinabox and benchmarks repositories to move to
 GitHub. While devinabox has a sufficiently descriptive name, the
 benchmarks repository does not; therefore, it will be named
-"python-benchmark-suite".
+"python-benchmarks".
 
 Create a 'python-dev' team
 ''''''''''''''''''''''''''
@@ -200,8 +200,7 @@ again by simply removing a CLA-related label.
 If no pre-existing, maintained bot exists that fits our needs, one
 will be written from scratch. It will be hosted on Heroku [#heroku]_
 and written to target Python 3.5 to act as a showcase for
-asynchronous programming. The bot's actual name is an open issue:
-`Naming the bots`_
+asynchronous programming.
 
 Requirements for Web-Related Repositories
 -----------------------------------------
@@ -705,54 +704,9 @@ As naming things can lead to bikeshedding of epic proportions, Brett
 Cannon will choose the final name of the various bots (the name of
 the project for the bots themselves can be anything, this is purely
 for the name used in giving commands to the bot or the account name).
-The names will come from Monty Python, which is only fitting since
-Python is named after the comedy troupe. They will most likely come
-from 'Monty Python and the Holy Grail' [#holy-grail]_ (which happens
-to be how Brett was introduced to Monty Python). Current ideas on the
-name include:
+The names must come from Monty Python, which is only fitting since
+Python is named after the comedy troupe.
 
-"Black Knight" sketch [#black-knight-sketch]_:
-
-* black-knight
-* none-shall-pass
-* just-a-flesh-wound
-
-"Bridge of Death" sketch [#bridge-of-death-sketch]_:
-
-* bridge-keeper
-* man-from-scene-24
-* five-questions
-* what-is-your-quest
-* blue-no-green
-* air-speed-velocity
-* your-favourite-colour
-  (and that specific spelling; Monty Python is British, after all)
-
-"Killer rabbit" sketch [#killer-rabbit-sketch]_:
-
-* killer-rabbit
-* holy-hand-grenade
-* 5-is-right-out
-
-"French Taunter" sketch [#french-taunter-sketch]_:
-
-* elderberries
-* kanigget
-
-"Constitutional Peasants" sketch [#constitutional-peasants-sketch]_:
-
-* dennis
-* from-the-masses
-
-"Knights Who Say 'Ni'" sketch [#ni-sketch]_:
-
-* shubbery
-* ni
-* knights-who-say-ni
-
-From "Monty Python and the Holy Grail" in general:
-
-* brave-sir-robin
 
 Choosing a CI service
 ---------------------