[Python-ideas] Need help converting HTML doc to ReST

[Chris Angelico]

On Sat, Jan 10, 2015 at 4:46 AM, Guido van Rossum <guido at python.org> wrote:
> Chris, would you be so kind? I tried to work from Donald's gist, but there
> are some funny characters in it.
>
> I'd also like to use the Open Publication License (see PEP 1) rather than
> placing it in the public domain.
>
> You can go straight to the peps repo, I can fix things up later once I have
> time to review it.
>
> Thank you so much!!

No probs, will do. Not sure what the "funny characters" are; I can see
a U+201C and U+201D double quote pair, possibly there's an encoding
problem. I'll make sure it's saved as UTF-8.

ChrisA