
<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html;

      charset=windows-1252">

  </head>

  <body>

    Thanks for fixing this. I decided I really wanted the Python docs,

    so I resorted to brute force with wget.<br>

  </body>

</html>