Two spaces between each section

pep-3138.txt

@@ -18,6 +18,7 @@ arbitrary objects to printable ASCII strings for debugging and logging.
 For Python 3000, a wider range of characters, based on the Unicode
 standard, should be considered 'printable'.
 
+
 Motivation
 ==========
 
@@ -59,6 +60,7 @@ Python 3000, so printing an image to the console won't mess it up.
 
 This issue was once discussed by Hye-Shik Chang [1]_ , but was rejected.
 
+
 Specification
 =============
 
@@ -79,6 +81,7 @@ Specification
 - Set the Unicode error-handler for sys.stdout and sys.stderr to
   'backslashreplace' by default.
 
+
 Rationale
 =========
 
@@ -95,6 +98,7 @@ without raising UnicodeEncodeError. For example, if your default
 encoding is ASCII, ``print('¢')`` will prints '\\xa2'. If your encoding
 is ISO-8859-1, '' will be printed.
 
+
 Printable characters
 --------------------
 
@@ -118,6 +122,7 @@ characters as follows.
   * Zs (Separator, Space) other than ASCII space('\\x20'). Characters in
     this category should be escaped to avoid ambiguity.
 
+
 Alternate Solutions
 -------------------
 
@@ -176,6 +181,7 @@ following function.
  def repr_ascii(obj):
      return str(repr(obj).encode("ASCII", "backslashreplace"), "ASCII")
 
+
 Reference Implementation
 ========================