Put more of Jeremy's email instructions into Guido's new words.

Added "hard tab" request.

pep-0042.txt

@@ -15,15 +15,15 @@ Introduction
     PEP can be listed here until its own PEP is created.  See
     pep-0000.txt for details.
 
-    This PEP was created to allow us to close bug reports that are
-    really feature requests.  Marked as Open, they distract from the
-    list of real bugs (which should ideally be less than a page).
-    Marked as Closed, they tend to be forgotten.  The procedure now
-    is: if a bug report is really a feature request, add the feature
-    request to this PEP, and close the bug report with a comment
-    saying that this is the case (mentioning the PEP explicitly).  It
-    is also acceptable to move large feature requests directly from
-    the bugs database to a separate PEP.
+    This PEP was created to allow us to close bug reports that are really
+    feature requests.  Marked as Open, they distract from the list of real
+    bugs (which should ideally be less than a page).  Marked as Closed, they
+    tend to be forgotten.  The procedure now is:  if a bug report is really
+    a feature request, add the feature request to this PEP; mark the bug as
+    "feature request", "later", and "closed"; and add a comment to the bug
+    saying that this is the case (mentioning the PEP explicitly).  It is
+    also acceptable to move large feature requests directly from the bugs
+    database to a separate PEP.
 
 
 Core Language / Builtins
@@ -80,6 +80,13 @@ Standard Library
 
       http://sourceforge.net/bugs/?func=detailbug&bug_id=112317&group_id=5470
 
+    - Ensure that all .py files in the std library use 4-space indents and
+      no hard tabs.  This was actually a PEP200 precondition for the
+      release of 2.0b1, but got misinterpreted as the weaker condition that
+      tabnanny not complain.  Tim Peters will do this now, but, since about
+      250 files are affected, will wait until after 2.0final is released.
+
+      http://sourceforge.net/bugs/?func=detailbug&bug_id=114557&group_id=5470
 
 Tools